symmetric monoidal (∞,1)-category of spectra
Given a monad , its unit is the natural transformation
which is part of the definition of monad. Hence for every object the component of the unit on is a morphism
in .
Dually, there is a counit of a comonad.
If is an adjunction that gives rise to the monad as , 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.