Extensión de Kan

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.

Una construcción universal que extiende un funtor a lo largo de otro funtor de la mejor manera posible, produciendo extensiones de Kan a la izquierda o a la derecha caracterizadas por propiedades universales que generalizan límites, colímites y adjuntos.