Lemme de Yoneda

Un article de Wikipédia, l'encyclopédie libre.

Dans l'étude des catégories, le lemme de Yoneda est une propriété de représentation des morphismes de foncteurs. Il permet de regarder les objets d'une catégorie comme des foncteurs sur cette catégorie, les foncteurs représentables ; il donne lieu à un plongement d'une catégorie dans une catégorie de foncteurs. Une des conséquence 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.

Sommaire

1 Lemme de Yoneda
- 1.1 Énoncé
- 1.2 Preuve
  - 1.2.1 Injectivité
  - 1.2.2 Surjectivité
2 Théorème des modèles acycliques

[modifier] Lemme de Yoneda

Un objet A d'une catégorie C définit un foncteur covariant de C dans la catégorie Ens des ensembles par :

$X\rightarrow h_A(X)=Hom_C(A,X)\,$

De la sorte, on dispose d'un foncteur contravariant de C dans la catégorie Fonc(C,Ens) des foncteurs covariants de C dans Ens. Tout morphisme de A dans B dans la catégorie C induit un morphisme de $h B$ dans $h A$ . Le lemme de Yoneda affirme que ce sont les seuls morphismes dont on dispose ; mieux, il caractérise l'ensemble des morphismes de $h A$ dans n'importe quel foncteur de C dans Ens.

[modifier] Énoncé

Pour tout objet A d'une catégorie C, tout morphisme $ψ$ de $h A$ sur un foncteur $T :$ C $\rightarrow$ Ens est uniquement défini par l'élément de $T (A)$ défini comme l'image de $I d A$ dans $h A (A)$ par $ψ(A)$ . Plus précisément, on dispose d'une bijection :

$Hom(h_A,T)\rightarrow T(A\,)$ $\psi\rightarrow \psi(A)(Id_A)\,$

En particulier, pour tous objets A et B de C, on a :

$Hom(h_A,h_B)=Hom(B,A)\,$

h s'appelle le plongement de Yoneda.

[modifier] Preuve

[modifier] Injectivité

Avec les notations ci-dessus, considérons $ψ$ un morphisme de $h A$ sur $T$ . Pour tout élément $f$ dans $h A (B) = H o m C (A, B)$ , on a :

$f=h_A(f)(Id_A)\,$

En appliquant à cette identité l'application ensembliste $\psi(B):h_A(B)\rightarrow T(B)$ , on obtient :

$\psi(B)(f)=\psi(B)\left[h_A(f)(Id_A)\right]=T(f)\left[\psi(A)(Id_A)\right]$

où la seconde égalité vient de la définition d'un morphisme de foncteurs. L'élément $ψ(B)(f)$ est donc l'image de $ψ(A)(I d A)$ par $T (f)$ . De fait, en faisant varier f, on montre que $ψ$ est uniquement déterminé par $ψ(A)(I d A)$ . L'application énoncée est injective.

[modifier] Surjectivité

Soit un élément v de $T (A)$ . La preuve de l'injectivité permet d'intuiter un (forcément unique) antécédent de v. Pour tout objet B de C, définissons :

$\psi_v(B):h_A(B)\rightarrow T(B)\,$ $f\mapsto T(f)(v)$

Vérifions que $ψ v$ est bien un morphisme de foncteurs. Pour toute flèche $g:B\rightarrow C$ et pour tout élément f de $h A (B)$ , on est en mesure d'écrire :