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).

Principio

La adjunción codifica una propiedad universal de mapeo: un funtor es la mejor aproximación por un lado a invertir al otro, determinado a isomorfismo único por la biyección natural entre conjuntos Hom y su naturalidad.

Demostración

Ejemplo: la adjunción libre/olvido entre Conjuntos y Monoides en la que el funtor izquierdo asigna a un conjunto el monoide libre generado por él y el funtor derecho olvida la estructura de monoide; las aplicaciones desde el monoide libre corresponden naturalmente a funciones definidas sobre los generadores.

Aplicación incorrecta

Confundir una adjunción con un isomorfismo de categorías o suponer que ambos funtores preservan todas las límites y colímites sin comprobar la preservación según cada lado; asumir que un adjunto existe para cualquier funtor sin verificar condiciones de existencia (completitud, pequeñez).

Consecuencia

La existencia de un adjunto implica propiedades de preservación (los funtores izquierdos preservan colímites, los derechos preservan límites), proporciona mapas unit y counit canónicos y da lugar a mónadas y comónadas; los adjuntos son únicos a isomorfismo único.

Inversión

La inversión contrapone una verdadera adjunción a una mera familia de biyecciones sin naturalidad: una biyección puntual sin naturalidad no produce unidad ni counidad coherentes y, por tanto, no constituye una adjunción.

Límite

Los funtores adjuntos requieren categorías con conjuntos Hom y naturalidad; no se definen para estructuras tipo grafo sin composición, y su existencia puede fallar en categorías demasiado grandes o mal comportadas; se trata de correspondencias de morfismos, no de igualdad de objetos.

Tensión semántica

La adjunción compite conceptualmente con la equivalencia: una equivalencia da funtores inversos mutuamente hasta isomorfismo y una invariancia más fuerte, mientras que la adjunción suele describir una aproximación universal y no una inversión completa.

Síntesis

Un par de funtores adjuntos es la formulación categórica de una construcción universal: un funtor construye libremente o co-construye una estructura y el otro recupera los datos subyacentes, unidos por biyecciones naturales de Hom que generan unidad/counit y controlan la preservación de límites y colímites.