Transformation naturelle

Soient ${\textstyle {\mathcal {C}}}$ et ${\textstyle {\mathcal {D}}}$ deux catégories, F et G deux foncteurs de ${\textstyle {\mathcal {C}}}$ dans ${\textstyle {\mathcal {D}}}$. Une transformation naturelle η de F vers G est la donnée, pour tout objet X de ${\textstyle {\mathcal {C}}}$, d'un morphisme de ${\textstyle {\mathcal {D}}}$ :

${\displaystyle \eta _{X}:F(X)\rightarrow G(X)}$,

tel que pour tous objets X et Y de ${\textstyle {\mathcal {C}}}$ et tout morphisme ${\displaystyle f}$ de X dans Y, on ait ${\displaystyle \eta _{Y}\circ F(f)=G(f)\circ \eta _{X}}$. Autrement dit, le diagramme suivant soit commutatif  :

Si pour tout objet X de ${\textstyle {\mathcal {C}}}$, η_X est un isomorphisme, on dit que η est une « équivalence naturelle » ou un « isomorphisme naturel ».

La définition de transformation naturelle ci-dessus concerne deux foncteurs covariants. On peut de même définir la notion de transformation naturelle entre deux foncteurs contravariants en inversant uniquement le sens des flèches horizontales du diagramme ci-dessus.

• (en) Saunders Mac Lane, Categories for the Working Mathematician [détail de l’édition]

• Portail des mathématiques