Lemme de Yoneda
En mathématiques, plus précisément en théorie des catégories, le lemme de Yoneda est un théorème de plongement d'une catégorie C {\displaystyle {\mathcal {C}}} localement petite dans une catégorie de foncteurs. Les objets de C {\displaystyle {\mathcal {C}}} sont identifiés aux foncteurs représentables, et les morphismes de C {\displaystyle {\mathcal {C}}} à toutes les transformations naturelles entre ces foncteurs. Il s'agit d'une 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 (en), qui a de nombreuses utilisations en homologie et en géométrie algébrique. Le lemme de Yoneda exprime le fait que...
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement