Kan extension

Um conceito universal na teoria das categorias, que generaliza ideias como adjunções e limites. É uma ferramenta abstrata poderosa com aplicações em matemática e ciência da computação teórica.