Adjungierter Funktor

Ein Paar von Funktoren L: C -> D und R: D -> C derart, dass es für alle Objekte c in C und d in D eine natürliche Bijektion Hom_D(Lc, d) ≅ Hom_C(c, Rd) gibt; L ist linksadjungiert zu R und R ist rechtsadjungiert zu L.

Ein Paar von Funktoren L: C → D und R: D → C zusammen mit einer Familie natürlicher Bijektionen Hom_D(L(c), d) ≅ Hom_C(c, R(d)) für alle Objekte c in C und d in D, das eine universelle Korrespondenz zwischen Morphismen von L(c) und Morphismen in R(d) ausdrückt.