Kan extension

noun1

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

   • We can specialise Kan extensions to the preorder setting, if we equip a preorder with a monoidal structure: an associative operation that is monotone and that has a neutral element. — 2012