Kan extension
Kan extensions are universal constructs in category theory, a branch of mathematics. They are closely related to adjoints, but are also related to limits and ends. They are named after Daniel M. Kan, who constructed certain (Kan) extensions using limits in 1960. An early use of (what is now known as) a Kan extension from 1956 was in homological algebra to compute derived functors. In Categories for the Working Mathematician Saunders Mac Lane titled a section "All Concepts Are Kan Extensions", and went on to write that
Wikipage redirect
primaryTopic
Kan extension
Kan extensions are universal constructs in category theory, a branch of mathematics. They are closely related to adjoints, but are also related to limits and ends. They are named after Daniel M. Kan, who constructed certain (Kan) extensions using limits in 1960. An early use of (what is now known as) a Kan extension from 1956 was in homological algebra to compute derived functors. In Categories for the Working Mathematician Saunders Mac Lane titled a section "All Concepts Are Kan Extensions", and went on to write that
has abstract
In der mathematischen Kategori ...... es und Kolimites konstruierte.
@de
Kan extensions are universal c ...... on 'constrained optimization'.
@en
Une extension de Kan est une c ...... étend le domaine de F selon p.
@fr
圏論においてカン拡張とは普遍性を持つ構成の一種である。 カン ...... imization'の問題となり比較的馴染み深いものになる。
@ja
thumbnail
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
724,974,984
hypernym
comment
In der mathematischen Kategori ...... es und Kolimites konstruierte.
@de
Kan extensions are universal c ...... ns", and went on to write that
@en
Une extension de Kan est une c ...... étend le domaine de F selon p.
@fr
圏論においてカン拡張とは普遍性を持つ構成の一種である。 カン ...... imization'の問題となり比較的馴染み深いものになる。
@ja
label
Extension de Kan
@fr
Kan extension
@en
Kan-Erweiterung
@de
Kan拡張
@ja
