Kan extension

Short definition from Wiktionary

Noun

A construct that generalizes the notion of extending a function's domain of definition.

We haven’t written up Kan extension yet: Simple and Standard meanings, examples and a quiz.