# 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)

10 months 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#