Natural transformations
If functors are translations between mathematical worlds, when are two translations related in a coherent way?
What does it mean for a construction to be independent of arbitrary choices?
A functor compares categories. It sends objects to objects, morphisms to morphisms, identities to identities, and composites to composites.
But once functors exist, they become objects of comparison themselves.
Suppose two functors have the same source and target:
F, G: C -> D
For each object A in C, the functors produce two objects in D:
F(A)
G(A)
It is natural to ask whether there is a systematic way to move from F(A) to G(A) for every object A.
F(A) --?--> G(A)
Doing this object by object is not enough. The pieces must respect the morphisms in C. Otherwise the comparison would be a collection of unrelated arrows rather than a structural comparison of functors.
A natural transformation from F to G assigns to each object A of C a morphism in D
eta_A: F(A) -> G(A)
called the component of the transformation at A.
These components must satisfy the naturality condition. For every morphism f: A -> B in C, the following diagram must commute:
F(A) --F(f)--> F(B)
| |
eta_A eta_B
| |
v v
G(A) --G(f)--> G(B)
Commuting means that both paths from F(A) to G(B) give the same morphism:
G(f) . eta_A = eta_B . F(f)
This equation is the whole point.
It says that translating A by F, then moving from F to G, gives the same result as first moving along f through F, then moving from F to G at B.
move between functors, then follow G
=
follow F, then move between functors
The transformation is coherent with every arrow of the source category.
This coherence is what the word "natural" means here. It does not mean obvious, intuitive, or easy. It means compatible with all structure-preserving maps in sight.
natural =
works uniformly across objects
and respects all morphisms
The idea appears throughout mathematics whenever a construction does not depend on a chosen presentation.
For example, every vector space V has a dual space V*, the space of linear functionals from V to the ground field. It also has a double dual V**. There is a canonical linear map
V -> V**
that sends a vector v to the functional-on-functionals that evaluates each linear functional at v.
v |-> (phi |-> phi(v))
This assignment does not require a basis. It is natural in V: every linear map between vector spaces fits with the corresponding maps between double duals. The construction commutes with change of vector space by linear maps.
The contrast is useful. A finite-dimensional vector space is isomorphic to its dual after choosing a basis, but that isomorphism depends on the choice, and the ordinary dual reverses arrows. There is no basis-independent isomorphism V -> V* supplied by vector-space structure alone. The double dual map is different: it is built without arbitrary coordinates and is natural as a map from the identity functor to the double-dual functor.
choice-dependent:
V -> V*
natural:
V -> V**
Naturality detects whether a construction respects the whole category rather than only each object separately.
Another simple example comes from sets. Let Id be the identity functor on Set, and let P be the covariant power set functor that sends a set to its set of subsets and a function to its direct-image map on subsets. There is a component
x in X |-> {x} in P(X)
for each set X. This gives a map
eta_X: X -> P(X)
that sends each element to its singleton subset.
For a function f: X -> Y, the singleton construction commutes with applying f:
{f(x)} = image of {x} under f
So the singleton assignment behaves naturally. It respects functions between sets.
X --f--> Y
| |
eta_X eta_Y
v v
P(X) --P(f)--> P(Y)
Natural transformations are therefore morphisms between functors. If categories are objects of study and functors are arrows between categories, natural transformations are arrows between those arrows.
C --F--> D
C --G--> D
F ==> G
This is the same level shift that homotopy made in topology. Homotopy compared continuous maps by continuous deformations. Natural transformations compare functors by coherent families of morphisms. The details differ, but the structural movement is familiar:
objects
morphisms
morphisms between morphisms
In category theory, this higher-level structure is part of the subject's basic power. Functors themselves can form a category. If C and D are categories, the functor category [C, D] has functors C -> D as objects and natural transformations as morphisms.
[C, D]
objects: functors C -> D
morphisms: natural transformations
Composition works in two directions.
First, natural transformations compose vertically. If
F ==> G ==> H
then the component at A is the composite
F(A) -> G(A) -> H(A)
This gives a natural transformation F ==> H.
Second, natural transformations also interact with functor composition. If functors are translations between worlds, natural transformations are coherent changes of translation, and those changes can be transported through other translations.
This explains why natural transformations are the correct notion of morphism between functors. They compose, have identities, and preserve the structure that functors were designed to carry.
functors as objects
natural transformations as morphisms
|
v
another category
The naturality square is the central visual tool.
F(A) --F(f)--> F(B)
| |
| |
v v
G(A) --G(f)--> G(B)
A commuting square says that route does not matter. This was already present earlier in algebra and topology. A homomorphism preserved multiplication because applying the operation before or after the map gave the same result. A continuous map preserved topological structure because inverse images of open sets behaved correctly. A linear map preserved addition because the square for addition commuted.
Category theory abstracts that recurring square.
Naturality is the demand that every relevant square commutes.
The force of the idea is that it separates genuine structure from accidental representation. If a construction is natural, it survives all morphisms in the source category. It is not tied to a naming convention, coordinate system, basis, or arbitrary selection.
arbitrary choice:
may work object by object
natural construction:
works coherently across all morphisms
This is why natural transformations often appear when mathematics says "canonical." A canonical construction is one that does not depend on hidden choices. Naturality is one precise way to express that independence.
The objects are functors with common source and target categories. The morphisms are natural transformations, whose components are morphisms in the target category. What composes are natural transformations, both vertically between functors and through functor composition. The invariant is coherence with every morphism of the source category. The defining relation is the naturality equation G(f) . eta_A = eta_B . F(f). Equality of objectwise constructions is less important than coherent comparison between functors. What remains outside the frame is the recurring pattern by which objects are characterized by all maps into or out of them.
A natural transformation is a coherent morphism between functors.
Categories gave worlds of structure. Functors translated between worlds. Natural transformations compared translations. The next question asks how objects inside a category can be specified entirely by their relationships to other objects.