## [Funtor Adjunto](/es/node/63715) Definición 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 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 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 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 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 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 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 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 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.