Kleisli category
= Kleisli category
{wiki=Kleisli_category}
In category theory, a Kleisli category is a construction that allows you to work with monads in a categorical setting. A monad, in this context, is a triple \\((T, \\eta, \\mu)\\), where \\(T\\) is a functor and \\(\\eta\\) (the unit) and \\(\\mu\\) (the multiplication) are specific natural transformations satisfying certain coherence conditions.