If the Kleisli-category of a monad is Cartesian-closed, can we say when the category of Eilenberg-Moore algebras is?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
1
2
|
|||||||||
|
