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