Una relación entre dos funtores L : C → D y R : D → C dada por una biyección natural Hom_D(L(X), Y) ≅ Hom_C(X, R(Y)) natural en X∈C y Y∈D, equivalently especificable por una unidad η: Id_C ⇒ R∘L y una counidad ε: L∘R ⇒ Id_D que satisfacen las identidades triangulares.

Principio

La adjunción formaliza construcciones universales: L es adjunto a la izquierda de R si L genera libremente objetos de D a partir de objetos de C sujetas a una propiedad universal realizada por la biyección de hom-conjuntos; la unidad y la counidad codifican esta correspondencia universal y deben satisfacer las identidades de coherencia (triángulos).

Demostración

La pareja libre‑olvido F : Set → Ab (grupo abeliano libre) y U : Ab → Set (funtor olvido) forman una adjunción F ⊣ U: para cualquier conjunto S y grupo abeliano A, los homomorfismos de grupos F(S)→A corresponden naturalmente a las funciones S→U(A). La unidad envía elementos de S a sus generadores en Z[S] y la counidad evalúa sumas formales.

Aplicación incorrecta

Confundir adjunción con equivalencia (un par adjunto no tiene por qué ser inversible) o asumir la existencia de adjuntos sin comprobar condiciones de tamaño o (co)completitud; afirmar una biyección de hom-conjuntos que no es natural en ambas variables es un error común.

Consecuencia

Las adjunciones producen construcciones canónicas (objetos libres, localizaciones, completaciones), inducen mónadas y comónadas y ofrecen un método versátil para construir y reconocer propiedades universales en teoría de categorías y álgebra.

Inversión

La noción inversa intercambia izquierda y derecha: si L ⊣ R entonces R es adjunto derecho de L; invertir completamente la adjunción en una equivalencia requiere datos adicionales (unidad y counidad isomórficas), lo cual es más fuerte que la simple adjunción.

Límite

Las adjunciones requieren funtores entre categorías con Hom-conjuntos bien definidos; su existencia depende de condiciones de (co)completitud categórica o pequeñasness. No todo funtor tiene adjunto a izquierda o derecha; la adjunción es una propiedad estructural, no automática.

Tensión semántica

A menudo se confunden las adjunciones con conexiones de Galois o equivalencias inversas: las conexiones de Galois son análogos ordenales pero carecen de la naturalidad categórica completa, y la equivalencia de categorías es más fuerte que la adjunción porque requiere unidad/counidad invertibles hasta isomorfismo.

Síntesis

Una adjunción es una biyección natural de Hom (o unidad/counidad cumpliendo las identidades triangulares) entre dos funtores que codifica una correspondencia universal de tipo 'libre/olvido', generando construcciones canónicas y estructuras algebraicas como mónadas.