Last Updated: September 29, 2020
·
40
· beezee

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

1 Response
Add your 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 ·