Kleisli category
https://bartoszmilewski.com/2014/12/23/kleisli-categories/ https://ncatlab.org/nlab/show/Kleisli+category https://en.wikipedia.org/wiki/Kleisli_category
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.
Last updated