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.

Principio

Las adjunciones se organizan mediante transformaciones naturales unidad y counidad que satisfacen las identidades triangulares; equivalente mente, la biyección de adjunción es natural en ambas variables y determina L y R salvo un isomorfismo único si existen.

Demostración

Ejemplo: el par libre–olvido entre conjuntos y grupos: el funtor grupo libre es adjunto por la izquierda del funtor olvido, codificando aplicaciones universales desde generadores hacia objetos grupo y realizando construcciones mediante una propiedad universal.

Aplicación incorrecta

Asumir que la existencia de todos los adjuntos por la izquierda se deriva formalmente de ciertos límites, o afirmar que existe un adjunto sin comprobar la naturalidad o las identidades triangulares, conduce a afirmaciones falsas; confundir adjuntos izquierdo/derecho o ignorar restricciones de tamaño es un error común.

Consecuencia

Los funtores adjuntos preservan (co)límites: los adjuntos por la izquierda preservan colímites y los adjuntos por la derecha preservan límites; las adjunciones organizan construcciones universales y proporcionan factorizaciones canónicas y reflexiones/coreflexiones.

Inversión

Invertir una adjunción intercambia izquierda y derecha: un adjunto por la izquierda se convierte en adjunto por la derecha en las categorías opuestas, transformando propiedades de preservación de colímites en preservación de límites y cambiando los roles de unidad y counidad.

Límite

Las adjunciones pertenecen al marco categórico y requieren naturalidad e identidades triangulares; no todo funtor tiene adjunto y la existencia puede verse obstaculizada por tamaño, presentabilidad o falta de los (co)límites necesarios.

Tensión semántica

Hay tensión entre describir un adjunto como biyección de conjuntos Hom (vista sintética) y como construcciones concretas (objetos libres, límites); confundir ambas visiones puede ocultar si el adjunto es explícito o solamente abstracto.

Síntesis

Una pareja de funtores adjuntos encapsula una relación universal reversible: un funtor genera libremente o co-actúa y el otro olvida o evalúa, con biyecciones Hom y datos de unidad/counidad que codifican esa correspondencia universal.