nLab
canonical presentation

Contents

Definition

Given an adjunction F,G,η,ε:XA\langle F,G,\eta,\varepsilon\rangle\colon X\to A, the canonical presentation of an object aobj(A)a\in\operatorname{obj}(A) is the fork

FGFGaFGε aε FGaFGaε aa F G F Ga\underoverset{F G\varepsilon_a}{\varepsilon_{F G a}}{\rightrightarrows}F G a \overset{\varepsilon_a}{\rightarrow}a

(this is indeed a fork, by the naturality of ε\varepsilon).

Properties

section, namely, Fη GaF \eta_{G a} (by the triangle identities). Hence,

whenever GG is monadic, the resulting coequalizer is a reflexive coequalizer.

Example

If A=GrpA = \mathbf{Grp}, X=SetX = \mathbf{Set} and GG is the forgetful functor, then for a group aa, FGaF G a is just the free group on the elements of aa, and ε\varepsilon is the projection, taking a ‘’formal product’‘ of elements of aa to the actual product in aa (since by a triangle identity we have Gε a(t)=tG\varepsilon_a(\langle t\rangle)=t where tGat\in Ga and t=η Ga(t)=\langle t\rangle=\eta_{G a}(t)= the reduced word with one letter tt).

Since the coequalizer of fg\cdot\underoverset{f}{g}{\rightrightarrows}\cdot in Grp\mathbf{Grp} is the familiar quotient by the normal subgroup generated by elements like f(t)g(t) 1f(t) g(t)^{-1}, the canonical presentation (a coequalizer in this case) is indeed a presentation of aa in terms of generators and relations.

References