symmetric monoidal (∞,1)-category of spectra
Given a monad $T \;\colon\; \mathcal{C} \to \mathcal{C}$, its unit is the natural transformation
which is part of the definition of monad. Hence for every object $X \in \mathcal{C}$ the component of the unit on $X$ is a morphism
in $\mathcal{C}$.
Dually, there is a counit of a comonad.
If $(L \dashv R)$ is an adjunction that gives rise to the monad $T$ as $T \simeq R \circ L$, then the unit of the monad is equivalently the unit of the adjunction.
unit of a monad
Last revised on December 5, 2013 at 05:52:42. See the history of this page for a list of all contributions to it.