Loterre: Mathematics: lemme de Yoneda

théorie des catégories > lemme de Yoneda

lemme de Yoneda

En théorie des catégories, le lemme de Yoneda, attribué au mathématicien japonais Nobuo Yoneda, est un théorème de plongement d'une catégorie ${\\displaystyle {\\mathcal {C}}}$ localement petite dans une catégorie de foncteurs : les objets de ${\\displaystyle {\\mathcal {C}}}$ sont identifiés aux foncteurs représentables, et les morphismes de ${\\displaystyle {\\mathcal {C}}}$ à toutes les transformations naturelles entre ces foncteurs. C'est une vaste généralisation du théorème de Cayley pour les groupes (vus comme des petites catégories à un seul objet). Une des conséquences du lemme de Yoneda est le théorème des modèles acycliques, qui a de nombreuses utilisations en homologie et en géométrie algébrique.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Lemme_de_Yoneda)

http://data.loterre.fr/ark:/67375/PSR-RZBS2WDH-F

RDF/XML TURTLE JSON-LD Created 8/24/23, last modified 8/24/23

LOTERRE