2-natural transformation?
symmetric monoidal (∞,1)-category of spectra
Given a monad $T$ on some category $\mathcal{C}$, the Kleisli category of $T$ has as objects the objects of $\mathcal{C}$, but a morphism $X \to Y$ in the Kleisli category is a morphism $X \to T(Y)$ in $\mathcal{C}$. The monad structure induces a natural composition of such “$T$-shifted” morphisms.
Equivalently, the Kleisli category is the full subcategory of the Eilenberg–Moore category of $T$ on the free T-algebras (the free $T$-modules).
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}$ 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 typed functional programming Kleisli composition is used to model functions with side-effects and computation. See at monad (in computer science) for more on this.
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