unit of a monad



Given a monad T:𝒞𝒞T \;\colon\; \mathcal{C} \to \mathcal{C}, its unit is the natural transformation

ϵ:id 𝒞T \epsilon \;\colon\; id_{\mathcal{C}} \to T

which is part of the definition of monad. Hence for every object X𝒞X \in \mathcal{C} the component of the unit on XX is a morphism

ϵ X:XT(X) \epsilon_X \;\colon\; X \to T(X)

in 𝒞\mathcal{C}.

Dually, there is a counit of a comonad.


Relation to adjunctions

If (LR)(L \dashv R) is an adjunction that gives rise to the monad TT as TRLT \simeq R \circ L, then the unit of the monad is equivalently the unit of the adjunction.

Last revised on December 5, 2013 at 05:52:42. See the history of this page for a list of all contributions to it.