## [Extensión de Kan](/es/node/60218) Definición Una construcción universal que produce la mejor aproximación de un funtor F a lo largo de otro funtor K, dando la extensión de Kan por la izquierda Lan_K F (basada en colímites) o por la derecha Ran_K F (basada en límites), caracterizada por transformaciones naturales universales. ## Principio Principio Dados funtores K: C -> D y F: C -> E, la extensión de Kan se define por una propiedad universal: las transformaciones naturales de F hacia G∘K (o de G∘K hacia F) corresponden de manera única a transformaciones naturales de Lan_K F hacia G (o de G hacia Ran_K F). ## Demostración Demostración Ejemplo: la extensión de Kan por la izquierda a lo largo de la inclusión de una subcategoría plena se calcula en cada valor como un colímite sobre la categoría coma (K ↓ d); concretamente, extender un prefaisceau desde una base a toda la topología suele realizarse como una extensión de Kan por la izquierda calculada punto por punto mediante colímites. ## Aplicación incorrecta Aplicación incorrecta Tratar las extensiones de Kan como colímites puntuales sin verificar que la categoría objetivo admita los colímites necesarios, o asumir que toda extensión de Kan es calculable punto por punto cuando solo está definida por un objeto universal, conduce a construcciones erróneas. ## Consecuencia Consecuencia Cuando existe, una extensión de Kan proporciona fórmulas canónicas para extender o restringir funtores, genera adyacencias en muchos casos y permite el cálculo de funtores derivados y coends mediante propiedades universales. ## Inversión Inversión La inversión intercambia izquierda y derecha: en lugar de extender a lo largo de K por colímites se puede restringir a lo largo de K o considerar la construcción dual (Ran frente a Lan), que sustituye colímites por límites y condiciones iniciales universales por terminales. ## Límite Límite Se aplica únicamente en el marco categórico de funtores entre categorías; la existencia puede fallar sin hipótesis de completitud/cocompletitud o condiciones de pequeñez adecuadas. No es una construcción puramente puntual fuera de las categorías de funtores. ## Tensión semántica Tensión semántica Existe tensión entre ver la extensión de Kan como un cálculo explícito de (co)límites (puntual) y verla como una propiedad universal abstracta; confundirlas ignora condiciones de existencia y cuestiones de tamaño. ## Síntesis Síntesis Una extensión de Kan es el ajuste universal óptimo de un funtor a lo largo de otro: calculable concretamente cuando las categorías admiten los (co)límites necesarios y caracterizada en abstracto por biyecciones de transformaciones naturales que resuelven problemas de extensión y restricción.