Definify.com

Definition 2024

Kan_extension

Kan extension

English

Noun

Kan extension ‎(plural Kan extensions)

  1. (category theory) A construct that generalizes the notion of extending a function defined on a subset to a function defined on the whole set.

Etymology

Named after Daniel M. Kan, who constructed certain (Kan) extensions using limits in 1960.

Similar Results