Concept information
Terme préférentiel
extension de Kan
Définition(s)
-
Une extension de Kan est une construction catégorique universelle qui apparaît naturellement dans de nombreuses situations. Elle tient son nom du mathématicien Daniel Kan, qui a défini de telles extensions à partir de limites. Les autres constructions universelles (limites, adjonctions et foncteurs représentables) peuvent s'écrire en termes d'extensions de Kan, et réciproquement. L'importance de ces extensions est la plus manifeste en théorie des catégories enrichies.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Extension_de_Kan)
Concept(s) générique(s)
Traductions
-
anglais
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}}