Foncteur Adjoint

Une paire de foncteurs L: C -> D et R: D -> C telle qu'il existe une bijection naturelle Hom_D(Lc, d) ≅ Hom_C(c, Rd) pour tous objets c de C et d de D ; L est adjoint à gauche de R et R est adjoint à droite de L.

Une paire de foncteurs L : C → D et R : D → C munie d'une famille de bijections naturelles Hom_D(L(c), d) ≅ Hom_C(c, R(d)) pour tous objets c de C et d de D, exprimant une correspondance universelle entre flèches sortant de L(c) et flèches entrant dans R(d).