Natural transformation
A morphism of functors preserving categorical structure.
Wikipedia / Wikimedia Commons
In category theory, a natural transformation is a systematic way to map one functor onto another, preserving the compositional structure of the categories. Because it acts as a bridge between functors, it is sometimes called a "morphism of functors." Along with categories and functors themselves, it is a core concept in the field.
Formally, given two functors \(F\) and \(G\) that both go from category \(\mathcal{C}\) to category \(\mathcal{D}\), a natural transformation \(\eta\) from \(F\) to \(G\) consists of a family of morphisms \(\eta_X : F(X) \to G(X)\), one for each object \(X\) in \(\mathcal{C}\). Each \(\eta_X\) is called the component of \(\eta\) at \(X\). These components must satisfy a consistency condition: for every morphism \(f: X \to Y\) in \(\mathcal{C}\), the equation \(\eta_Y \circ F(f) = G(f) \circ \eta_X\) holds, which can be shown as a commutative diagram. If \(F\) and \(G\) are contravariant, the vertical arrows in that diagram are reversed.
We write \(\eta: F \to G\) or \(\eta: F \Rightarrow G\) to denote a natural transformation, and we say the family \(\eta_X\) is natural in \(X\). When every component \(\eta_X\) is an isomorphism in \(\mathcal{D}\), the transformation is called a natural isomorphism (or natural equivalence). Two functors are naturally isomorphic if such a transformation exists between them. A weaker notion, an infranatural transformation, is simply the family of components without requiring the naturality condition.
- field
- Category theory
- known_for
- Transforming functors consistently across a category
Lore & Background
A natural transformation η from functor F to functor G (both from category C to category D) is a family of morphisms η_X: F(X) → G(X) for each object X in C. These components must satisfy the naturality condition: for every morphism f: X → Y in C, η_Y ∘ F(f) = G(f) ∘ η_X. This condition is often expressed by a commutative diagram.
If every component η_X is an isomorphism in D, then η is called a natural isomorphism (or natural equivalence). Two functors are naturally isomorphic if there exists a natural isomorphism between them. An infranatural transformation is simply the family of components without requiring the naturality condition; the naturalizer of η is the largest subcategory on which η restricts to a natural transformation.
Reader's Guide
Natural transformations are a central concept in category theory, enabling the comparison of functors and the definition of functor categories. They appear in the majority of category theory applications, providing a rigorous way to express that a map between functors is 'consistent' across all objects. The naturality condition ensures that the transformation commutes with the action of morphisms, preserving the categorical structure. This notion is essential for constructing isomorphisms between functors and for understanding the relationships between different categorical constructions. The concept of naturalizer further refines the idea by identifying the largest subcategory where a given family of morphisms behaves naturally.
Did You Know?
- A natural transformation is also called a 'morphism of functors'.
- If every component of a natural transformation is an isomorphism, it is called a natural isomorphism.
- An infranatural transformation is simply the family of components without requiring the naturality condition.
- The naturalizer of a transformation is the largest subcategory on which it restricts to a natural transformation.
Frequently Asked Questions
What is a natural transformation in category theory?
A natural transformation is a structured mapping that connects two functors sharing the same source and target categories. It assigns a morphism to every object in the source category, linking the image under one functor to the image under the other, while respecting all the arrows between those objects.
Why is a natural transformation sometimes called a 'morphism of functors'?
Because it plays the role that a morphism plays between objects, but one level up in the hierarchy: it is an arrow between functors rather than between objects. This 'morphism of functors' framing highlights that it preserves the internal structure of both functors it connects.
What exactly does a natural transformation consist of, component by component?
For two functors F and G from category C to category D, a natural transformation η is a family of morphisms η_X : F(X) → G(X), indexed by every object X in C. These components must satisfy the naturality condition: for every arrow f : X → Y in C, the square formed by F(f), G(f), η_X, and η_Y must commute.
Why is the naturality condition essential to a natural transformation?
Without the commuting-diagram requirement, you would merely have an arbitrary collection of morphisms with no coherence. The naturality condition guarantees that the transformation respects the compositional structure of the category, making it a genuinely 'categorical' bridge rather than a loose set of arrows.
How does a natural transformation fit into the broader landscape of category theory?
Together with categories and functors, natural transformations form the three fundamental layers of the subject: objects and arrows, structure-preserving maps between categories, and structure-preserving maps between those functors. This layered hierarchy is what lets category theory express deep equivalences and invariants across mathematics.
More in Set Theory & Logic 1-19
Spotted an error? Know more?
This is a living reference — every entry is fact-audited, and reader corrections feed straight into our audit queue. Suggest an edit · See this site's audit record