Une famille de morphismes (appelés composantes) η_X : F(X) → G(X) indexée par les objets X d'une catégorie source, reliant deux foncteurs F,G : C → D, telle que pour tout morphisme f : X → Y dans C le carré G(f) ∘ η_X = η_Y ∘ F(f) commute. Elle exprime une application objet‑par‑objet cohérente entre foncteurs.

Principe

La transformation naturelle est la donnée qui rend la correspondance entre foncteurs compatible avec la structure interne de la catégorie source ; la naturalité exige que les composantes commutent avec l'action des morphismes.

Démonstration

Considérons les foncteurs Liste, Id : Ens → Ens où Liste(X) est l'ensemble des listes finies d'éléments de X et Id(X)=X. La transformation qui associerait la longueur d'une liste à un élément n'est pas une transformation vers Id, mais la fonction qui renvoie la tête d'une liste définit une transformation naturelle head : Liste → Maybe (avec Maybe(X)=X∪{nil}) dont les composantes head_X renvoient le premier élément ou nil ; pour toute fonction f : X→Y, la tête obtenue après application de f coïncide avec l'image par f de la tête, donc le carré de naturalité commute.

Mauvaise application

Considérer toute collection de maps η_X : F(X)→G(X) comme une transformation naturelle sans vérifier la commutation — par exemple définir des composantes qui dépendent de représentants internes des objets — viole la naturalité et n'est qu'une famille, pas une transformation naturelle.

Conséquence

Lorsqu'une transformation naturelle existe, elle fournit une manière uniforme et structure‑préservante de comparer des foncteurs ; on peut les composer verticalement et horizontalement, elle donne lieu à la notion d'isomorphisme naturel et d'équivalence, et organise les foncteurs en une catégorie Fun(C,D).

Inversion

La notion inverse est une famille de maps qui ne commute pas avec les morphismes ; renverser la condition de commutation donne des composantes arbitraires et non cohérentes (une famille non naturelle).

Limite

S'applique uniquement à des paires de foncteurs ayant la même catégorie source et cible et à des maps indexées par les objets ; exclut les correspondances point par point qui ne satisfont pas la naturalité ou les transformations entre foncteurs de sources ou cibles différentes.

Tension sémantique

Termes voisins : « application composante » (une simple famille de maps) et « isomorphisme naturel » (transformation naturelle dont les composantes sont des isomorphismes). La tension porte sur la définition objet‑par‑objet vs. l'exigence supplémentaire de commutation avec les morphismes.

Synthèse

Une transformation naturelle est la collection cohérente et respectueuse des morphismes de maps objet‑par‑objet comparant deux foncteurs de la même source vers la même cible, servant de morphisme fondamental entre foncteurs en théorie des catégories.