Some category theory
swap (Kleisli (Reader r) a b) = (Reader r) a -> b
swap (Reader r) a -> b = (Kleisli (Reader r) a b)
swap self inverse (duh)
Kleisli (Reader r) a b iso (Reader r) a -> b (less duh)
Kleisli F a b iso F (a -> b) (is this true?, does it have to do with Yoneda for some reason?)
Written by Brian Zeligson
Related protips
1 Response
Last bit is not true. Only works with Reader because of exponentiation (currying) and uniqueness of limits (commutativity of product in Set)
over 1 year ago
·
Have a fresh tip? Share with Coderwall community!
Post
Post a tip
Best
#Category theory
Authors
Sponsored by #native_company# — Learn More
#native_title#
#native_desc#