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.
Articles by others on the same topic
For a monad on , the Kleisli category has the objects of and morphismsIts identity on is , and the composite of and is .