Definition
If F and G are 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) between objects of D, called the component of η at X, such that for every morphism f : X → Y in C we have:
This equation can conveniently be expressed by the commutative diagram
If both F and G are contravariant, the horizontal arrows in this diagram are reversed. If η is a natural transformation from F to G, we also write η : F → G or η : F ⇒ G. This is also expressed by saying the family of morphisms ηX : F(X) → G(X) is natural in X.
If, for every object X in C, the morphism ηX is an isomorphism in D, then η is said to be a natural isomorphism (or sometimes natural equivalence or isomorphism of functors). Two functors F and G are called naturally isomorphic or simply isomorphic if there exists a natural isomorphism from F to G.
An infranatural transformation η from F to G is simply a family of morphisms ηX: F(X) → G(X). Thus a natural transformation is an infranatural transformation for which ηY ∘ F(f) = G(f) ∘ ηX for every morphism f : X → Y. The naturalizer of η, nat(η), is the largest subcategory of C containing all the objects of C on which η restricts to a natural transformation.
Read more about this topic: Natural Transformation
Famous quotes containing the word definition:
“One definition of man is “an intelligence served by organs.””
—Ralph Waldo Emerson (1803–1882)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)
“I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)