Kan extension in French
Kan extension in French
extension de Kan
(category theory) A construct that generalizes the notion of extending a function's domain of definition.