Transformation naturelle

Transformation naturelle

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.

Définition

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

\eta_X : F(X) \rightarrow G(X),

telle que pour tous objets X et Y de C et tout morphisme f de X dans Y, le diagramme suivant soit commutatif  :

NaturalTransformation-01.png

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.

Si pour tout objet X de C, ηX est un isomorphisme, on dit que η est une équivalence naturelle ou un isomorphisme naturel.

Bibliographie

(en) Saunders Mac Lane, Categories for the Working Mathematician (en) [détail des éditions]



Wikimedia Foundation. 2010.

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

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Transformation de legendre — La transformation de Legendre est une opération mathématique qui, schématiquement, transforme une fonction définie par sa valeur en un point en une fonction définie par sa tangente. Les cas classiques d utilisation de la transformation de… …   Wikipédia en Français

  • Transformation de Fourier — Transformée de Fourier Joseph Fourier En analyse, la transformation de Fourier est un analogue de la théorie des séries de Fourier pour les fonctions non périodiques, et permet de leur associer un spectre en fréquences. On cherche ensuite à… …   Wikipédia en Français

  • Naturelle — Nature Pour les articles homonymes, voir Nature (homonymie). La Nature est un mot polysémique, qui a plusieurs sens fondamentaux : la composition et la matière d une chose (ce qu elle est, son essence) , l origine et le devenir d une chose… …   Wikipédia en Français

  • Transformation de Legendre — La transformation de Legendre est une opération mathématique qui, schématiquement, transforme une fonction définie par sa valeur en un point en une fonction définie par sa tangente. Les cas classiques d utilisation de la transformation de… …   Wikipédia en Français

  • L'Origine des espèces par la sélection naturelle — L Origine des espèces L origine des espèces, 1859 L Origine des espèces par le moyen de la sélection naturelle, ou la préservation des races favorisées dans la lutte pour la vie (Titre anglais original : On the Origin of Species by Means of… …   Wikipédia en Français

  • L'origine des espèces au moyen de la sélection naturelle ou Lutte pour l'existence dans la nature — L Origine des espèces L origine des espèces, 1859 L Origine des espèces par le moyen de la sélection naturelle, ou la préservation des races favorisées dans la lutte pour la vie (Titre anglais original : On the Origin of Species by Means of… …   Wikipédia en Français

  • Philosophie naturelle —  Ne doit pas être confondu avec philosophie de la nature (notion de philosophie allemande du XIXe siècle). La p …   Wikipédia en Français

  • Radioactivité Naturelle — Radioactivité Pour les articles homonymes, voir Radio. Symbole signalant une source de rayons ionisants, ☢. La radioactivité, phénomène qui fut dé …   Wikipédia en Français

  • Radioactivité naturelle — Radioactivité Pour les articles homonymes, voir Radio. Symbole signalant une source de rayons ionisants, ☢. La radioactivité, phénomène qui fut dé …   Wikipédia en Français

  • Rapport De Transformation — Transformateur électrique Un transformateur électrique est un convertisseur permettant de modifier les valeurs de tension et d intensité du courant délivrées par une source d énergie électrique alternative, en un système de tension et de courant… …   Wikipédia en Français

Share the article and excerpts

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