A family of morphisms (called components) η_X : F(X) → G(X) indexed by objects X of a source category, connecting two functors F,G : C → D, such that for every morphism f : X → Y in C the square G(f) ∘ η_X = η_Y ∘ F(f) commutes. It expresses a coherent, objectwise map between functors.

Principle

A natural transformation is the data that makes correspondence between functors compatible with the internal structure of the source category; naturality enforces that the component maps commute with the action of morphisms.

Demonstration

Take functors List, Id : Set → Set where List(X) is the set of finite lists of elements of X and Id(X)=X. A natural transformation length : List → N-graded-Set that sends each list to its length is not a natural transformation to Id, but the map that sends a list to its head defines a natural transformation head : List → Maybe (where Maybe(X)=X∪{nil}) with components head_X(list) = first element or nil; for every function f : X→Y the head of f applied elementwise equals f applied to the head, so the naturality square commutes.

Misapplication

Treating any collection of maps η_X : F(X)→G(X) as a natural transformation without verifying commutativity—for instance defining componentwise maps that depend on internal representatives of objects—breaks naturality and yields a mere family, not a natural transformation.

Consequence

When a natural transformation exists, it provides a uniform, structure-preserving way to compare functors; it can be composed vertically and horizontally, yields notions of natural isomorphism and equivalence, and organizes functors into a category Fun(C,D).

Reversal

The inverse notion is a family of maps that fails to commute with morphisms; reversing the commuting condition leads to arbitrary, non-coherent component maps (a non-natural family).

Boundary

Applies only to pairs of functors with the same source and target categories and to maps indexed by objects; it excludes pointwise correspondences that do not satisfy naturality or transformations between functors with differing source or target categories.

Semantic Tension

Nearby terms include 'componentwise map' (a mere family of maps) and 'natural isomorphism' (a natural transformation whose components are isomorphisms). The tension is between objectwise definition and the extra requirement of commuting with morphisms.

Synthesis

A natural transformation is the coherent, morphism-respecting collection of objectwise maps that compares two functors from the same source to the same target, serving as the fundamental notion of morphism between functors in category theory.