Concept information
Terme préférentiel
Kan extension
Définition(s)
-
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.
(Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/wiki/Kan_extension)
Concept(s) générique(s)
Traductions
-
français
URI
http://data.loterre.fr/ark:/67375/PSR-J792M51V-H
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}