: Mathématiques: extension de Kan

théorie des catégories > extension de Kan

extension de Kan

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)

http://data.loterre.fr/ark:/67375/PSR-J792M51V-H

RDF/XML TURTLE JSON-LD Date de création 24/08/2023, dernière modification le 24/08/2023

Loterre