Category Theory/Natural transformations
One further basic notion in the theory of categories, or, as it may be said, a basic item of categorical language, will now be introduced. This is the notion of a natural transformation of functors from one category to another. Indeed, the whole language and apparatus of categories and functors were developed initially by the U.S. mathematicians Samuel Eilenberg and Saunders MacLane in order to render precise the intuitive concept of naturality. First an example will be given, the example that may be said to have motivated the definition.
Let be a vector space over some field , and let be the dual space of ; that is, the space of linear functionals on . There is then a linear transformation that is given. There is an intuitive feeling that the linear transformation is natural because its description only involves the terms u and f. Now if is finite-dimensional, then it is known that is an isomorphism in the category of vector spaces over and linear transformations. One way of proving that is then an isomorphism is to show that and are isomorphic and then to observe that is one–one. The usual proof that and are isomorphic would be to proceed by establishing an isomorphism between and , in the case when is finite-dimensional. Now if a base for is given, then a basis for may be set up, called the dual basis, by defining to be that linear functional on given by certain rules (see 350). Then the correspondence sets up an isomorphism between and .
On the other hand, this isomorphism does not look natural, because it depends on the choice of bases. Of course, the argument above could be generalized to set up a linear transformation from to * even if is not finite-dimensional over , but, again, this transformation would not appear to be natural. What is required is a formal and precise expression of the feeling that, for finite-dimensional vector spaces over the field , and are naturally isomorphic, while and are isomorphic in some unnatural way. Eilenberg and MacLane solved this problem in their seminal article, “General Theory of Natural Equivalences,” published in 1945, which laid the foundation of the theory of categories.
For any category a new category can be formed by interchanging the domains and codomains of the morphisms of . More precisely, in the category the objects are simply those of and the effect of interchange of domains is expressed in an equation (see 359). Moreover, the composition in is simply that of , suitably interpreted. is called the category opposite to ; notice that = . This apparently trivial operation leads to highly significant results when specific categories are used. In the general setting it enables any concept in the language of categories to be dualized. For example, the coproduct in is simply the product in . Any theorem that holds in an arbitrary category has a dual form. For example, the theorem asserting that the product in an arbitrary category is associative may be effectively restated as asserting that the coproduct in an arbitrary category is associative. In the special cases, however, the second statement looks very different from the first. For example, in the category of sets, the coproduct becomes the disjoint union; in the category of groups it is the free product; and in a pre-ordered set regarded as a category, the coproduct is the least upper bound. In particular, for the set of natural numbers, ordered by divisibility, the coproduct is the LCM. Thus, the same universal argument that led to the deduction that the GCD is associative also indicates that the LCM is associative. The duality principle has very wide ramifications indeed. Here it is merely noted that the important concept of a contravariant functor may be most simply defined as a functor . Thus the association of the dual vector space with yields a contravariant functor from to itself.
Definition of natural transformation
Suppose , are two functors, both from the category to the category .
Then a natural transformation is a rule that assigns to each object A of category a morphism .
The morphisms involved must be subject to the condition that the diagram
should be commutative for every (note is a morphism in the category ); that is, (note the commutative diagram is drawn in category ).
Further, if is invertible for each A, then is said to be natural isomorphism (or a natural equivalence). It is clear that if is a natural equivalence from functors to , then , given by an equation (see 352), is a natural equivalence from functors to . Thus the term equivalence used here is fully justified. Indeed, the functors from to may be collected into equivalence classes according to the existence of a natural equivalence between them.
This definition can be tested against the example. Consider two functors from K-Vect to K-Vect, in which K-Vect is the category of vector spaces over the field K and linear transformations. One functor is the identity functor. The other functor is the double dual functor ** that associates with every vector space V its double dual V** and with every linear transformation f : U → V in the linear transformation f**: U** → V** (see 353). A linear transformation T: V → V** was described above. It is easy to check that T is a natural transformation from the identity functor to the functor **. If the subcategory f of K-Vect that consists of finite-dimensional vector spaces over K and their linear transformations is considered, then it turns out that the functor ** transforms f into itself; and the natural transformation T, restricted to f, is then a natural equivalence. Further examples of natural transformations of functors can be given:
- The category of Abelian groups and homomorphisms is considered. With every Abelian group may be associated its torsion subgroup. The torsion subgroup AT of the Abelian group A consists of those elements of A that are of finite order. A homomorphism from A to B must necessarily send AT to BT. Thus a functor f is obtained from to (or to T, the category of torsion Abelian groups and their homomorphisms), by associating with every Abelian group A the Abelian group FA = AT. Now AT is a subgroup of A. Thus there is always an embedding iA of AT in A. It is easy to see that i is a natural transformation from the torsion functor f to the identity functor. Further, the quotient group Afr = A/AT may be considered. It is a torsion-free Abelian group. This gives a functor g from to (or from to fr, the category of torsion-free Abelian groups) by associating with the Abelian group A the Abelian group GA = Afr. Then the projection of A onto Afr yields a natural transformation from the identity functor to the torsion-free functor g.
- With every group may be associated its commutator subgroup. It is then not difficult to see that the embedding of the commutator subgroup in the group is a natural transformation from the commutator subgroup functor to the identity functor. On the other hand, the centre of every group may be associated with the group. Here, however, there is not a functor because a homomorphism from one group to another does not necessarily map the centre of the first group to the centre of the second. On the other hand, if the category of groups and surjective homomorphisms (a surjective homomorphism is one in which the image coincides with the codomain) is considered, then in this category the centre is a functor. It is a functor, however, from the category of groups and surjective homomorphisms to the category of groups and all homomorphisms, because a surjective homomorphism does not necessarily map the centre surjectively. Then the embedding of the centre of a group in the group may be regarded as a natural transformation from the centre functor to the inclusion functor, both of which are functors from the category of groups and surjective homomorphisms to the category of groups and homomorphisms.
- In algebraic topology, the singular homology groups and the homotopy groups of a pointed topological space (X, x) are considered. A Hurewicz homomorphism (see 354) exists, from the homotopy groups to the homology groups. Then pn and hn, n ≥ 2, are functors from the category of pointed spaces and pointed continuous functions to the category of Abelian groups, and the Hurewicz homomorphism is a natural transformation of functors.
The Yoneda lemma
Let be a locally small category, let be an object in , let , let denote the covariant Hom functor, and let denote the natural transformations from to . Then . In addition, if is another Hom functor , then .