e/Kleisli category

Information
has gloss	eng: In category theory, a Kleisli category is a category naturally associated to any monad T. It 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. Kleisli categories are named for the mathematician Heinrich Kleisli.
lexicalization	eng: Kleisli category
instance of	e/Adjoint functors