Funtor Adjunto

Una pareja de funtores L: C -> D y R: D -> C tal que existe una biyección natural Hom_D(Lc, d) ≅ Hom_C(c, Rd) para todos los objetos c de C y d de D; L es adjunto a la izquierda de R y R es adjunto a la derecha de L.

Un par de funtores L: C → D y R: D → C provistos de una familia de biyecciones naturales Hom_D(L(c), d) ≅ Hom_C(c, R(d)) para todos los objetos c en C y d en D, expresando una correspondencia universal entre morfismos desde L(c) y morfismos hacia R(d).