If (T,η,μ) is a monad over a category C, which is complete and cocomplete, then what about the Kleisli category? And also, if C is cartesian closed, what about the Kleisli one?
Completeness and completeness of the Kleisli category
Jenny
- 121
- 4