unit of an adjunction



Given an adjunction

(LR):XRLY (L \dashv R) \;\colon\; X \stackrel{\overset{L}{\longrightarrow}}{\underset{R}{\longleftarrow}} Y

there is a natural transformation (or more generally, a 22-morphism) η:id XRL\eta\colon id_X \to R \circ L, called the unit of the adjunction. (This is so called because RLR \circ L is a monad, which is a kind of monoid object, and η\eta is the identity of this monoid. Since ‘identity’ in this context would suggest an identity natural transformation, we use the synonym ‘unit’.)

Similarly, there is 22-morphism ϵ:LRid Y\epsilon\colon L \circ R \to id_Y, called the counit of the adjunction. (This is the co-identity of the comonad LRL \circ R.)



Unit and counit of an adjunction satisfy the triangle identities.

An adjunct is given by precomposition with a unit or postcomposition with a counit.

Relation to monads

Every adjunction (LR)(L \dashv R) gives rise to a monad TRLT \coloneqq R \circ L. The unit of this monad idTid \to T is the unit of the adjunction, idRLid \to R \circ L.

Revised on April 22, 2015 17:58:50 by Urs Schreiber (