Please enable javascript to use dictionary! Howto enable javascript?
Kan extension▼◼◼◼(construct that generalizes the extending of a function's domain of definition)noun
↑