Extensión de Kan
Las extensiones de Kan son construcciones universales en teoría de categorías, una rama de las matemáticas. Están estrechamente relacionadas con las adjunciones, pero también con los límites y los fines. Reciben su nombre de Daniel M. Kan, que construyó algunas de estas  extensiones usando límites en 1960.

Definición 
Una extensión de Kan se define fijadas tres categorías  y dos funtores  y . Pueden considerarse extensiones de Kan "izquierdas" y extensiones de Kan "derechas".

Formalmente, la extensión de Kan derecha de sobre consiste en un funtor  una transformación natural  que es couniversal con respecto a su especificación. Es decir, para cualquier funtor   transformación natural , existe una única transformación natural  cumpliendo que . 

El funtor  suele notarse como .

Referencias 

 
 

Teoría de categorías
Las extensiones de Kan son construcciones universales en teoría de categorías , una rama de las matemáticas . Están estrechamente relacionadas con las adjunciones , pero también con los límites y los fines . Reciben su nombre de Daniel M. Kan , que construyó algunas de estas extensiones usando límites en Definición Una extensión de Kan se define fijadas tres categorías y dos funtores y \ . Pueden considerar se extensiones de Kan " izquierdas " y extensiones de Kan " derechas " . Formalmente , la extensión de Kan derecha de sobre consiste en un funtor una transformación natural que es couniversal con respecto a su especificación . Es decir , para cualquier funtor transformación natural , existe una única transformación natural cumpliendo que \ . El funtor suele notar se como \ . Referencias Teoría de categorías