Noun
Kan extension (plural Kan extensions) (category theory) A construct that generalizes the notion of extending a function's domain of definition.