If the Kleisli-category of a monad is Cartesian-closed, can we say when the category of Eilenberg-Moore algebras is?
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
5 years ago