Kan extension (English, noun)
expansion: Kan extension (plural Kan extensions)
Senses:
topics: category-theory
computing
engineering
mathematics
natural-sciences
physical-sciences
sciences
glosses: A construct that generalizes the notion of extending a function's domain of definition.
Forms:
form: Kan extensions
tags: plural