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