Lemme de Yoneda

Lemme de Yoneda

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é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.

Sommaire

Lemme de Yoneda

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

X\rightarrow h_A(X)=Hom_C(A,X)\,
f\rightarrow h_A(f)= g \mapsto f \circ g \,

De la sorte, on dispose d'un foncteur contravariant h 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 (i.e. une transformation naturelle) de hB dans hA. Le lemme de Yoneda affirme que ce sont les seuls morphismes dont on dispose ; mieux, il caractérise l'ensemble des morphismes de hA dans n'importe quel foncteur de C dans Ens. Le foncteur h est le plongement de Yoneda.

Énoncé

Pour tout objet A d'une catégorie C, tout morphisme ψ de hA sur un foncteur T:C\rightarrowEns est uniquement déterminé par l'élément de T(A) défini comme l'image de id_A\in 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)\,

Preuve

Injectivité

Avec les notations ci-dessus, considérons ψ un morphisme de hA sur T. Pour tout élément f dans hA(B) = HomC(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)(idA) par T(f). De fait, en faisant varier f, on montre que ψ est uniquement déterminé par ψ(A)(idA). L'application énoncée est injective.

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 hA(B), on est en mesure d'écrire :

T(g)\left[\psi_v(B)(f)\right]=T(g)\left[T(f)(v)\right]=T\left[g.f\right](v)=\psi_v(C)(g.f)

Or, la composée g.f peut être regardée comme l'image de f par hA(g). Donc, l'identité obtenue se réécrit :

T(g)\left[\psi_v(B)(f)\right]=\psi_v(C)\left[h_A(g)(f)\right]

En faisant varier f :

T(g)\circ \psi_v(B)=\psi_v(C)\circ h_A(g)

Cela étant vérifié pour toute flèche g, ψv est bien un foncteur de hA sur T et son image est presque par définition v (on l'a défini pour).

Théorème des modèles acycliques

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue !

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Lemme de Yoneda de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Lemme De Yoneda — 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… …   Wikipédia en Français

  • Lemme de yoneda — 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… …   Wikipédia en Français

  • Liste de lemmes (mathématiques) — Liste de lemmes mathématiques par ordre alphabétique. En mathématiques, un lemme est un énoncé prouvé, mais jugé moins important que ce qu on appelle un théorème, qu il sert généralement à établir au cours d une démonstration. Néanmoins cette… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Liste des lemmes (mathematiques) — Liste des lemmes (mathématiques) Liste des lemmes mathématiques par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom des lemmes comprend des noms de scientifiques, on se base sur le… …   Wikipédia en Français

  • Liste des lemmes (mathématiques) — Liste des lemmes mathématiques par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom des lemmes comprend des noms de scientifiques, on se base sur le premier nom propre cité. Si le nom …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Foncteur représentable — On rencontre en mathématiques de nombreuses propriétés universelles. Le formalisme des catégories permet d exprimer ces propriétés de façon très simple. Sommaire 1 Définition 2 Lemme de Yoneda 3 Foncteurs covariants représentables …   Wikipédia en Français

  • Abstract Nonsense — est une expression anglaise utilisée en mathématiques pour décrire certains raisonnements et concepts en théorie des catégories. Le terme semble avoir été introduit par Steenrod[1]. Littéralement, elle signifie en français « abstraction… …   Wikipédia en Français

  • Abstract nonsense — est une expression anglaise utilisée en mathématiques pour décrire certains raisonnements et concepts en théorie des catégories. Le terme semble avoir été introduit par Norman Steenrod (en)[1]. À l origine, elle qualifie les raisonnements… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”