Definitions from Wiktionary (Kan extension)
▸ noun: (category theory) A construct that generalizes the notion of extending a function's domain of definition.
▸ Words similar to Kan extension
▸ Usage examples for Kan extension
▸ Idioms related to Kan extension
▸ Wikipedia articles (New!)
▸ Words that often appear near Kan extension
▸ Rhymes of Kan extension
▸ Invented words related to Kan extension
▸ noun: (category theory) A construct that generalizes the notion of extending a function's domain of definition.
Similar:
superextension,
profunctor,
conservative extension,
extension,
simple extension,
extensional definition,
overcategory,
generalized element,
direct product,
field extension,
more...
Opposite:
▸ Words similar to Kan extension
▸ Usage examples for Kan extension
▸ Idioms related to Kan extension
▸ Wikipedia articles (New!)
▸ Words that often appear near Kan extension
▸ Rhymes of Kan extension
▸ Invented words related to Kan extension