Kleisli category
Last updated
Was this helpful?
Last updated
Was this helpful?
Kleisli category is a category naturally associated to any monad T
Kleisli category is equivalent to the category of free T-algebras
The Kleisli category is one of two extremal solutions to the question: does every monad arise from an adjunction? The other extremal solution is the Eilenberg-Moore category.