Extension de Kan

Une construction universelle qui produit la meilleure approximation d'un foncteur F le long d'un foncteur K, donnant l'extension de Kan à gauche Lan_K F (fondée sur des colimites) ou à droite Ran_K F (fondée sur des limites), caractérisée par des transformations naturelles universelles.

Une construction universelle qui prolonge un foncteur le long d’un autre foncteur de la meilleure manière possible, produisant des extensions de Kan à gauche ou à droite caractérisées par des propriétés universelles qui généralisent limites, colimites et adjoints.