Unit of an adjunction

For F ⊣ G, the unit η: Id_C ⇒ G∘F is the natural transformation corresponding to identities under the adjunction bijection.

Unit of an adjunction

Let $F:\mathcal C\to\mathcal D$ and $G:\mathcal D\to\mathcal C$ be functors with an adjunction $F\dashv G$ .

Definition (Unit)

The unit of the adjunction is a natural transformation

\eta:\mathrm{Id}_{\mathcal C}\Rightarrow G F

characterized as follows: for each object $c\in\mathcal C$ , the component

\eta_c: c \longrightarrow G(Fc)

is the unique morphism corresponding to the identity $\mathrm{id}_{F c}\in\operatorname{Hom}_{\mathcal D}(F c, F c)$ under the adjunction bijection

\operatorname{Hom}_{\mathcal D}(F c,\, d)\cong \operatorname{Hom}_{\mathcal C}(c,\, G d) \quad\text{(natural in \(c,d\)).}

Equivalently, $\eta$ is the transpose of $\mathrm{id}_F$ under the natural isomorphism of hom-bifunctors.

The unit $\eta$ and the counit $\varepsilon$ satisfy the triangle identities (see adjoint functors ):

\varepsilon_{F c}\circ F(\eta_c)=\mathrm{id}_{F c} \quad\text{for all }c\in\mathcal C.

Free/forgetful (Set–Grp). For $F:\mathbf{Set}\to\mathbf{Grp}$ free group and $U:\mathbf{Grp}\to\mathbf{Set}$ forgetful with $F\dashv U$ , the unit at a set $X$ is the function
$\eta_X: X \to U(F(X))$
sending $x\in X$ to the corresponding generator in the underlying set of the free group.
Product–exponential (Set). For the adjunction $(-)\times X \dashv (-)^X$ in $\mathbf{Set}$ , the unit at $A$ is the function
$\eta_A: A \to (A\times X)^X, \qquad \eta_A(a)(x)=(a,x).$
It assigns to $a$ the constant-in- $A$ “graph” map $X\to A\times X$ .
Abelianization–inclusion (Grp–Ab). For $\mathrm{ab}:\mathbf{Grp}\to\mathbf{Ab}$ left adjoint to $i:\mathbf{Ab}\hookrightarrow \mathbf{Grp}$ , the unit at a group $G$ is the canonical quotient homomorphism
$\eta_G: G \twoheadrightarrow i(\mathrm{ab}(G)) \cong G/[G,G].$