nLab
adjunction

Definition

An adjunction in a 2-category is a pair of objects C,D together with morphisms L:CD, R:DC and 2-cells η:1 CRL, ϵ:LR1 D satisfying the equations

Rϵ.ηR=1 Ri.e. 1 C η D R C L D R C ϵ 1 D =DRCR\epsilon . \eta R = 1_R \qquad \text{i.e.} \qquad \array{\arrayopts{ \padding{0} } &&&&1_C& \\ &&\cellopts{\colspan{5}}\begin{svg} <svg xmlns="http://www.w3.org/2000/svg" width="8.5em" height="2em" viewBox="0 0 85 20"> <defs> <marker id='svg195arrowhead' markerHeight='5' markerUnits='strokeWidth' markerWidth='8' orient='auto' refX='0' refY='5' viewBox='0 0 10 10'> <path d='M 0 0 L 10 5 L 0 10 z'/> </marker> </defs> <path marker-end='url(#svg195arrowhead)' stroke-width="1" stroke="#000" fill="none" d="M5 15q40-28 75 0"/> <foreignObject height='20' width='20' x='40' y='3' font-size='10'><math xmlns="http://www.w3.org/1998/Math/MathML" display='inline'><msup><mo>&#8659;</mo><mi>&#951;</mi></msup></math></foreignObject> </svg> \end{svg}\\ D & \stackrel{R}{\to}& C & \stackrel{L}{\to}& D & \stackrel{R}{\to}& C \\ \cellopts{\colspan{4}}\begin{svg} <svg xmlns="http://www.w3.org/2000/svg" width="8.5em" height="2em" viewBox="0 0 85 20"> <path marker-end='url(#svg195arrowhead)' stroke-width="1" stroke="#000" fill="none" d="M5 5q40 28 75 0"/> <foreignObject height='20' width='20' x='40' y='0' font-size='10'><math xmlns="http://www.w3.org/1998/Math/MathML" display='inline'><msup><mo>&#8659;</mo><mi>&#1013;</mi></msup></math></foreignObject> </svg> \end{svg} \\ &&1_D& } \quad = \quad D \stackrel{R}{\to} C

and

ϵL.Lη=1 Li.e. 1 C η C L D R C L D ϵ 1 D =CLD\epsilon L . L\eta = 1_L \qquad \text{i.e.} \qquad \array{\arrayopts{ \padding{0} } &&1_C& \\ \cellopts{\colspan{5}}\begin{svg} <svg xmlns="http://www.w3.org/2000/svg" width="8.5em" height="2em" viewBox="0 0 85 20"> <defs> <marker id='svg195arrowhead' markerHeight='5' markerUnits='strokeWidth' markerWidth='8' orient='auto' refX='0' refY='5' viewBox='0 0 10 10'> <path d='M 0 0 L 10 5 L 0 10 z'/> </marker> </defs> <path marker-end='url(#svg195arrowhead)' stroke-width="1" stroke="#000" fill="none" d="M5 15q40-28 75 0"/> <foreignObject height='20' width='20' x='40' y='3' font-size='10'><math xmlns="http://www.w3.org/1998/Math/MathML" display='inline'><msup><mo>&#8659;</mo><mi>&#951;</mi></msup></math></foreignObject> </svg> \end{svg}\\ C & \stackrel{L}{\to}& D & \stackrel{R}{\to}& C & \stackrel{L}{\to}& D \\ &&\cellopts{\colspan{4}}\begin{svg} <svg xmlns="http://www.w3.org/2000/svg" width="8.5em" height="2em" viewBox="0 0 85 20"> <path marker-end='url(#svg195arrowhead)' stroke-width="1" stroke="#000" fill="none" d="M5 5q40 28 75 0"/> <foreignObject height='20' width='20' x='40' y='0' font-size='10'><math xmlns="http://www.w3.org/1998/Math/MathML" display='inline'><msup><mo>&#8659;</mo><mi>&#1013;</mi></msup></math></foreignObject> </svg> \end{svg} \\ &&&&1_D& } \quad = \quad C \stackrel{L}{\to} D

variously called the triangle identities or the zig-zag identities. We call L the left adjoint (of R) and R the right adjoint (of L). We call η the unit? and ϵ the counit? of the adjunction.

When interpreted in the prototypical 2-category Cat, C and D are categories, L and R are functors, and η and ϵ are natural transformations. In this case (which was of course the first to be defined) there are a number of equivalent definitions of an adjunction, which can be found on the page adjoint functor. Conversely, the definition in any 2-category can be obtained by internalization from the definition in Cat.

Remarks

Essentially everything that makes category theory nontrivial and interesting can be derived from the concept of adjunction. In particular universal constructions such as limits and colimits are examples of certain adjunctions.

String Diagrams

The definition of an adjunction may be nicely expressed using string diagrams. The data L:CD, R:DC and 2-cells η:1 CRL, ϵ:LR1 D are depicted as

String diagram for a left adjoint (for 'Adjunction')          String diagram of a right adjoint (for 'Adjunction')          String diagram of an adjunction unit (for 'Adjunction')          String diagram of an adjunction co-unit (for 'Adjunction')

(where 1-cells read from right to left and 2-cells from bottom to top), and the zigzag identities are expressed as “pulling zigzags straight” (hence the name):

String diagram of first zigzag identity (for 'Adjunction')         

Often, arrows on strings are used to distinguish L and R, and most or all other labels are left implicit; so the zigzag identities, for instance, become:

Minimal string diagram of first zigzag identity (for 'Adjunction')          Minimal string diagram of second zigzag identity (for 'Adjunction')

References