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

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

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

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

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

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

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

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

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.