Etymology

Kan extension

Today it means: A construct that generalizes the notion of extending a function's domain of definition. Full definition →

Ask AI about its historyChatGPTClaudePerplexityGoogle AIGrok

The story

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

Etymology from Wiktionary, CC BY-SA 4.0.