Transformation naturelle
Un article de Wikipédia, l'encyclopédie libre.
En théorie des catégories, une transformation naturelle permet de transformer un foncteur en un autre tout en respectant la structure interne (i.e. La composition des morphismes) des catégories considérées. On peut ainsi la voir comme un morphisme de foncteur.
[modifier] Définition
Soit C et D deux catégories, F et G deux foncteurs covariants de C dans D, on définit alors la transformation naturelle η de F vers G comme la donnée pour tout objet X de C d'un morphisme 
de D telle que le diagramme suivant soit commutatif pour tout 
:
On peut de même définir la notion de transformation naturelle entre deux foncteurs contravariants en inversant uniquement le sens des flèches horizontal du diagramme ci-dessus.
