Contextualizebeta

Kan extension

noun

Etymology

Named after Jewish and Dutch mathematician Daniel M. Kan (1927–2013), who constructed certain (Kan) extensions using limits in 1960.

Definitions

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

    • We are going to introduce the direct and inverse image functor for presheaves as special Kan extensions and show that they behave well with respect to global and local model structures on simplicial model categories.

The neighborhood

Vish — recursive loop

No curated loop yet for Kan extension. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA