Adjunción

Dato un par de funtores L : C → D y R : D → C junto con, para cada X en C y Y en D, una biyección natural Hom_D(L(X),Y) ≅ Hom_C(X,R(Y)) natural en X e Y. Equivalente mediante transformaciones naturales unidad y counidad que satisfacen las identidades triangulares. Expresa una relación de mejor aproximación universal: L es adjunto a la izquierda de R y R adjunto a la derecha de L.

Una relación entre dos funtores L : C → D y R : D → C dada por una biyección natural Hom_D(L(X), Y) ≅ Hom_C(X, R(Y)) natural en X∈C y Y∈D, equivalently especificable por una unidad η: Id_C ⇒ R∘L y una counidad ε: L∘R ⇒ Id_D que satisfacen las identidades triangulares.