Lemme_de_Yoneda (original) (raw)

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 localement petite dans une catégorie de foncteurs : les objets de sont identifiés aux foncteurs représentables, et les morphismes de à 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 (en), qui a de nombreuses utilisations en homologie et en géométrie algébrique.