ein Funktor mit zusätzlicher Eigenschaft.

Seien 𝒞 und 𝒟 zwei Kategorien und F : 𝒞 → 𝒟 und G : 𝒟 → 𝒞 zwei Funktoren. Der Funktor F heißt rechtsadjungierter Funktor zu G und G links-adjungierter Funktor zu F, falls für alle Paare X und Y Bijektionen \begin{eqnarray}{\eta }_{X,Y}:{\text{Mor}}_{{\mathscr{C}}}(G(X),Y)\to {\text{Mor}}_{{\mathscr{D}}}(X,F(Y))\end{eqnarray}

existieren, die natürlich in X und Y sind. Dies bedeutet, daß die Abbildungen η_X,Y natürliche Äquivalenzen \begin{eqnarray}{\text{Mor}}_{{\mathscr{C}}}(G(X),-) & \to & {\text{Mor}}_{{\mathscr{D}}}(X,F(-))\\ {\text{Mor}}_{{\mathscr{C}}}(G(-),Y) & \to & {\text{Mor}}_{{\mathscr{D}}}(-,F(Y))\end{eqnarray}

definieren. Das Paar (F, G) heißt ein Paar adjungierter Funktoren.