Eine Familie von Morphismen (Komponenten) η_X : F(X) → G(X), indexiert durch Objekte X einer Quellkategorie, die zwei Funktoren F,G : C → D verbindet, sodass für jeden Morphismus f : X → Y in C das Quadrat G(f) ∘ η_X = η_Y ∘ F(f) kommutiert. Es drückt eine kohärente, objektweise Abbildung zwischen Funktoren aus.

Prinzip

Die natürliche Transformation ist die Daten, die die Übereinstimmung zwischen Funktoren mit der internen Struktur der Quellkategorie kompatibel macht; Natürlichkeit erzwingt, dass Komponenten mit der Wirkung von Morphismen kommutieren.

Demonstration

Betrachte Funktoren List, Id : Set → Set, wobei List(X) die endlichen Listen über X und Id(X)=X ist. Die Abbildung, die einer Liste ihre Länge zuweist, ist keine natürliche Transformation zu Id; die Abbildung, die den Kopf einer Liste liefert, definiert jedoch eine natürliche Transformation head : List → Maybe (mit Maybe(X)=X∪{nil}), deren Komponenten head_X das erste Element oder nil liefern; für jede Funktion f : X→Y stimmt der Kopf nach Anwendung von f mit der Anwendung von f auf den Kopf überein, sodass das Natürlichkeitsquadrat kommutiert.

Fehlanwendung

Jede beliebige Sammlung von Abbildungen η_X : F(X)→G(X) als natürliche Transformation zu behandeln, ohne Kommutativität zu prüfen — z. B. komponentenweise Abbildungen, die von internen Repräsentanten der Objekte abhängen — verletzt die Natürlichkeit und ist nur eine Familie, keine natürliche Transformation.

Konsequenz

Existiert eine natürliche Transformation, so liefert sie eine einheitliche, strukturverträgliche Möglichkeit, Funktoren zu vergleichen; man kann sie vertikal und horizontal komponieren, sie führt zu natürlicher Isomorphie und Äquivalenz und organisiert Funktoren in der Kategorie Fun(C,D).

Umkehrung

Die Umkehrung wäre eine Familie von Abbildungen, die nicht mit Morphismen kommutiert; die Umkehrung der Kommutativitätsbedingung liefert beliebige, inkohärente Komponenten (eine nicht‑natürliche Familie).

Abgrenzung

Gilt nur für Paare von Funktoren mit derselben Quell‑ und Zielkategorie und für nach Objekten indexierte Abbildungen; schließt punktweise Korrespondenzen aus, die Natürlichkeit nicht erfüllen, oder Transformationen zwischen Funktoren mit verschiedenen Quellen oder Zielen.

Semantische Spannung

Nähe Begriffe: »komponentenweise Abbildung« (bloße Familie von Abbildungen) und »natürliche Isomorphie« (natürliche Transformation mit isomorphen Komponenten). Die Spannung liegt zwischen objektweiser Definition und dem Zusatzanspruch der Kommutativität mit Morphismen.

Synthese

Eine natürliche Transformation ist die kohärente, morphismenrespektierende Sammlung objektweiser Abbildungen, die zwei Funktoren derselben Quelle und desselben Ziels vergleicht und als fundamentale Morphismusart zwischen Funktoren in der Kategorientheorie dient.