Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
symmetric monoidal (∞,1)-category of spectra
Given a monad $T$ on some category $\mathcal{C}$, then its Kleisli category is the full subcategory of the Eilenberg-Moore category of $T$, hence the category of T-algebras, on those that are free T-algebras (free $T$-modules).
Explicitly one may describe the Kleisli category of $T$ to have as objects the objects of $\mathcal{C}$, and a morphism $X \to Y$ in the Kleisli category is a morphism in $\mathcal{C}$ of the form $X \to T(Y)$ in $\mathcal{C}$. The monad structure induces a natural composition of such “$T$-shifted” morphisms.
The Kleisli category is also characterized by the following universal property:
Since every adjunction gives rise to a monad on the domain of its left adjoint, we might ask if every monad may be construed as arising from an adjunction. This is in fact true, and the initial such adjunction in the category of adjunctions for the given monad has the Kleisli category as the codomain of its left adjoint.
Let $\mathbf{T}=(T,\mu,\eta)$ be a monad in Cat, where $T:C\to C$ is an endofunctor with multiplication $\mu:T T\to T$ and unit $\eta:Id_C\to T$.
A free $\mathbf{T}$-algebra over a monad (or free $\mathbf{T}$-module) is a $\mathbf{T}$-algebra (module) of the form $(T(M),\mu_M)$, where the action is the component of multiplication transformation $\mu_M : T(T(M))\to T(M)$.
The Kleisli category $C_{\mathbf{T}}$ of the monad $\mathbf{T}$ is the subcategory of the Eilenberg-Moore category $C^{\mathbf{T}}$ on the free $\mathbf{T}$-algebras.
If $U:C^{\mathbf{T}}\to C$ is the forgetful functor and $F: C\to C^{\mathbf{T}}$ is the free algebra functor $F: M\mapsto (T M,\mu_M)$, then the Kleisli category is simply the full subcategory of $C^{\mathbf{T}}$ containing those objects in the image of $F$.
As another way of looking at this, we can keep the same objects as in $C$ but redefine the morphisms. This was the original Kleisli construction:
The Kleisli category $C_{\mathbf{T}}$ has as objects the objects of $C$, and as morphisms $M\to N$ the elements of the hom-set $C(M,T(N))$, in other words morphisms of the form $M \to T(N)$ in $C$, called Kleisli morphisms.
Composition is given by the Kleisli composition rule $g\circ_{Kleisli} f = \mu_P\circ T(g)\circ f$ (as in the Grothendieck construction (here $M\stackrel{f}\to N\stackrel{g}\to P$)).
More explicitly, this means that the Kleisli-composite of $f : x \to T y$ with $g : y \to T z$ is the morphism
The equivalence between both presentations amounts to the functor $C_{T} \to C^{T}$ being full and faithful. This functor maps any object $X$ to $T(X)$, and any morphism $f \colon X \to T(Y)$ to $T(X) \stackrel{T(f)}{\to} T^2(Y) \stackrel{\mu_Y}{\to} T(Y)$.
Fullness holds because any morphism $g \colon T(X) \to T(Y)$ of algebras has as antecedent the composite $X \stackrel{\eta_X}{\to} T(X) \stackrel{g}{\to} T(Y)$. Indeed, the latter is mapped by the functor into $\mu_Y \circ T(g) \circ T(\eta_X)$, which because $g$ is a morphism of algebras is equal to $g \circ \mu_X \circ T(\eta_X)$, i.e., $g$.
Faithfulness holds as follows: if $\mu_Y \circ T(f) = \mu_Y \circ T(g)$, then precomposing by $\eta_X$ yields $\mu_Y \circ T(f) \circ \eta_X = \mu_Y \circ \eta_{T(Y)} \circ f = f$ and similarly for $g$, hence $f = g$.
This Kleisli composition plays an important role in computer science; for this, see the article at monad (in computer science).
In more general 2-categories the universal properties of Kleisli objects are dual to the universal properties of Eilenberg-Moore objects.
In particular, $C_{\mathbf{T}}$ is initial in the category of adjunctions for $\mathbf{T}$ (whereas $C^{\mathbf{T}}$ is terminal). For a proof, see Category Theory in Context Proposition 5.2.12.
In typed functional programming, the Kleisli category is used to model call-by-value? functions with side-effects and computation. See at monad (in computer science) for more on this.
The original source is
H. Kleisli, Every standard construction is induced by a pair of adjoint functors , Proc. Amer. Math. Soc. 16 (1965) pp.544–546. (AMS)
Jenö Szigeti, On limits and colimits in the Kleisli category, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 24 no. 4 (1983), p. 381-391 (NUMDAM)
Discussion of cases where the inclusion of the Kleisli category into the Eilenberg-Moore category is a reflective subcategory is in
Discussion in internal category theory is in
Discussion of Kleisli categories in type theory is in
Last revised on August 8, 2022 at 16:16:19. See the history of this page for a list of all contributions to it.