Natural Transformations and Isomorphisms
A natural transformation is a relation between two functors. Functors often describe "natural constructions" and natural transformations then describe "natural homomorphisms" between two such constructions. Sometimes two quite different constructions yield "the same" result; this is expressed by a natural isomorphism between the two functors.
If F and G are (covariant) functors between the categories C and D, then a natural transformation η from F to G associates to every object X in C a morphism ηX : F(X) → G(X) in D such that for every morphism f : X → Y in C, we have ηY ∘ F(f) = G(f) ∘ ηX; this means that the following diagram is commutative:
The two functors F and G are called naturally isomorphic if there exists a natural transformation from F to G such that ηX is an isomorphism for every object X in C.
Read more about this topic: Category Theory
Famous quotes containing the word natural:
“Suffering is by no means a privilege, a sign of nobility, a reminder of God. Suffering is a fierce, bestial thing, commonplace, uncalled for, natural as air. It is intangible; no one can grasp it or fight against it; it dwells in time—is the same thing as time; if it comes in fits and starts, that is only so as to leave the sufferer more defenseless during the moments that follow, those long moments when one relives the last bout of torture and waits for the next.”
—Cesare Pavese (1908–1950)