Eine Familie von Morphismen zwischen zwei Funktoren mit demselben Definitions- und Zielbereich, indiziert durch die Objekte der Definitionskategorie, so dass für jeden Morphismus im Definitionsbereich ein Naturalitätsquadrat kommutiert; sie liefert einen kanonischen, struktur­erhaltenden Vergleich zwischen funktoriellen Interpretationen.

Prinzip

Eine natürliche Transformation ordnet jedem Objekt eine Komponentenmorphism im Zielbereich zu, und diese Zuordnung muss mit der Wirkung der Funktoren auf jeden Pfeil der Quelle kommutieren – diese Kommutativitätsbedingung ist die Natürlichkeit.

Demonstration

Sind F,G: C → D Funktoren, besteht eine natürliche Transformation η: F ⇒ G aus Pfeilen η_X: F(X) → G(X) in D für jedes Objekt X in C, und für jeden Pfeil f: X → Y in C gilt G(f) ∘ η_X = η_Y ∘ F(f); wenn F und G etwa jedem Typ seine Termmenge unter zwei Interpretationen zuordnen, liefert η eine Familie interpretationserhaltender Abbildungen zwischen den Modellen.

Fehlanwendung

Komponentenweise Zuordnungen, die die Natürlichkeitskommutation nicht erfüllen, als natürliche Transformationen zu verwenden zerstört die funktorielle Kohärenz und verhindert kompositionelles Schließen über Modelltransformationen.

Konsequenz

Natürliche Transformationen ergeben Morphismen in Funktorkategorien, ermöglichen den Vergleich von Modellen unter Erhalt der syntaktischen Struktur und lassen sich vertikal und horizontal komponieren, wodurch höhere kategoriale Strukturen wie natürliche Isomorphismen entstehen.

Umkehrung

Dreht man die Perspektive um und betrachtet Natürlichkeitsfehler als Information, so zeigen nicht kommutierende Komponenten Obstruktionen, Parameterabhängigkeiten oder kontextuelle Unterschiede zwischen Interpretationen an, statt bloßes Fehlen zu sein.

Abgrenzung

Gilt nur zwischen Funktoren mit gemeinsamem Domän und Kodomän; schließt beliebige, anders indizierte Familien von Morphismen oder Familien mit nur schwächeren Kohärenzbedingungen (z. B. dinatürliche oder laxere Transformationen) aus.

Semantische Spannung

Ähnlich zu komponentenweisen Transformationen in Programmierung oder Algebra, aber verschieden, weil natürliche Transformationen die Kommutation mit Funktoren verlangen; die Spannung entsteht, wenn eine komponentenweise Abbildung sinnvoll wirkt, aber nicht natürlich ist und somit zwischen lokaler Nützlichkeit und globaler Kohärenz entschieden werden muss.

Synthese

Eine natürliche Transformation verbindet systematisch zwei funktorielle Interpretationen durch objektweise Morphismen, deren Verträglichkeit mit jedem Pfeil der Quellkategorie eine kohärente, struktur­erhaltende Brücke zwischen den Funktoren sicherstellt.