This post is part of a series on category theory. See Overview of Blog Posts for a list of all posts. All categories in this post are assumed to be locally small (the morphisms between two objects form a set), unless stated otherwise.
Last time, we studied universal properties and representable functors. A particular class of universal properties and representable functors is given by (co)limits. This class generalizes many known and frequently appearing constructions and is of great importance both for the study of categories themselves and for applications of category theory. Using the notion of limits, we will be able to state and prove a useful criterion for when a functor is representable in a future post. For motivation, we will start be studying particular examples of limits and colimits in familiar categories before giving the general definition in the future. As we shall see in future posts, all general limits and colimits can be constructed from these examples.
Terminal and Initial Objects
We have already defined initial objects in definition C5.12, but for completeness’s sake, we shall repeat the definition here.
Definition C6.1 Let be a category. Then an object is called terminal if for any object , there is a unique morphism .
Definition C6.2 Let be a category. Then an object is called initial if for any object , there is a unique morphism .
Remark From the definitions, it is clear that an initial object is just a terminal object in the opposite category and vice versa.
Remark By lemma C5.13, intial objects (and hence terminal objects, see above) are unique up to unique isomorphisms.
Example C6.3 In the category of sets, the empty set is the unique initial object. Indeed, for any set , there is a unique map , namely the empty map. Every one-point set is a terminal object, as for any set , there is a unique map that sends everything to . Similarly, in the category of topological spaces, the empty space is an initial object and the one-point space is a terminal object. In the category of small categories , the empty category is an initial object and the category with one object and one morphism (the identity of the one object), i.e. a one-object discrete category, is the terminal object.
Example C6.4 In the category of groups, abelian groups, or modules over a ring , the trivial group (or zero module module) is both an initial and a terminal object.
Example C6.5 In the category of rings, the zero ring is a terminal object and the ring of integers is an initial object. More generally, let be a commutative ring and consider the category of -algebras. Then is an initial object and the zero ring is a terminal object. This generalizes the last example, as rings are equivalently -algebras.
Example C6.6 Let be a preordered set, considered as a category (cf. example C1.5). Then an initial object is an element , such that for all , i.e. a least element. Dually, a terminal object is a greatest element.
Example C6.7 The category of fields does not have an initial object or a terminal object. The reason is that if two fields have different characteristic, there is no field homomorphism between them. If we fix the characteristic to be or a prime number , then the category of fields of that characteristic has the prime field of that characteristic, i.e. or as an initial object, but it still has no terminal object, as all field homomorphisms are injective and there are fields of arbitrarily large cardinality.
Remark In the terminology of universal properties and representable functors, an initial object in represents the constant functor that sends every object to the terminal object in , namely a one-point set. The identity of the initial object is a universal element for this constant functor. Dually, a terminal object represents the constant functor that sends everything to a one-point set, considered as a contravariant functor, i.e. a functor . The identity of the terminal object is a universal element.
Products and Coproducts
Definition C6.8 Let be a set and let be a collection of objects in a category . Then a product is given by the following data:
- An object in , denoted by
- A collection of morphisms, for any , a morphism , called structure morphisms or canonical projections.
With the following universal property:
- For any object in and a collection of morphisms , there exists a unique morphism such that for all .
The property can be visualized via a commutative diagram, here shown in the case of binary products:
Remark C6.9 Let be the empty set. Then a product is exactly a terminal object.
Example C6.10 Consider the category of sets . For a family of sets , one can construct the Cartesian product and let be the projection onto the -th coordinate. This clearly satisfies the universal property for a product, as for any set and maps , the obvious definition yields the unique map such that for all . If we have the category of semigroups, of monoids, of groups, of abelian groups, of rings, of -modules or of -algebras etc. with their respective homomorphisms as morphisms, then equipping the cartesian product with coordinate-wise operations yields the product in that category. (Note that as the operation in the product is defined coordinate-wise, the projections are homomorphisms of the respective type of algebraic structure.)
In the category of topological spaces , one takes the Cartesian product and equips it with the product topology to obtain the categorical product.
Example C6.11 Let be a preordered set. Then the product of a family of objects, if if it exists, is the infimum. The universal property of the product turns into the universal property of the infimum: . For example, if is an integral domain and we define if and only if divides , then the product will be the greatest common divisor of a family of objects, if it exists.
Example C6.12 Consider the category of small categories . Then for a family of categories , there’s the product category together with projection functors for all . The objects are given by and the morphisms are given by with composition defined component-wise. We have already seen the special case for binary products in definition C3.7.
Remark Let be a category and let be a family of objects indexed by a set . Then if the product , $laexists, we have a bijection for any object ,, given by , where the are the structure morphisms of the product. One checks that this is natural in . This means that the functor is represented by and that the family of structure morphisms is a universal element. Thus we have shown that the “universal property” of the product is indeed a universal property in the formal sense defined in the last entry.
Conversely, given a representation of the functor , the representing object is a product of the and the universal element is the family of structure morphisms.
Being representing object of a functor, a product is uniquely determined up to unique isomorphism in the following sense: If and are products for the family with structure morphisms and , then there exists a unique isomorphism such that for all .
As with any notion defined for a category, we can dualize the concept of a product.
Definition C6.13 Let be a category, let be a set and let be a family of objects in . Then a coproduct of is a product of in . The coproduct is denoted by , the structure morphisms are also called canonical inclusions.
Exercise Write out the universal property of coproducts as in definition C6.8.
Remark Dualizing a previous remark, a coproduct over an empty set is equivalently an inital object.
Example C6.14 Consider the category of sets . The coproduct of a familiy of sets is given by the disjoint union and the structure morphisms are given by the inclusions . The universal property of the coproduct says that having a map defined on a disjoint union is equivalent to having a map for each . The correspondence is given by composing with inclusion, i.e. restricting to each component of the disjoint union.
In the category of topological spaces, we can also take the disjoint union with the finest topology that makes all inclusions continuous.
Similarly, in the category of small categories, one can take the disjoint union of objects and the disjoint union of morphisms to get coproducts. (E.g. any discrete category is a disjoint union of copies of the terminal category. The category of fields is a disjoint union of the categories of fields of a fixed characteristic , where varies over all primes and .)
Example C6.15 Let be a ring and consider the category of left -modules . For a family of left -modules , the direct sum (i.e. the submodule of the product consisting of all tuples in which all but finitely many entries are ) is the coproduct with the structure morphisms given by the inclusion in the j-th coordinate. Note that for a finite family, product and coproduct agree, although the structure morphisms are different.
Example C6.16 Consider the categeory of groups . Here the coproduct is given by the so-called free product. For simplicity, let us define the free product in terms of presentations (as it satisfies a universal properties, it is unique up to unique isomorphism and hence doesn’t depend on the presentation.) If is a family of groups with presentations , then the free product has a presentation and the structure morphisms are induced by the inclusion of generators . (cf. example C5.5 for the universal property of presentations.)
Example C6.17 Dualizing example C6.11, if we consider a preordered set as a category, then the coproduct of a family of objects is given by the supremum, if it exists. For the divisibility relation in an integral domain, this is the least common multiple.
Remark Just like with products, coproducts can be understood in terms of representable functors (they are just products in the opposite category, after all). Explicitly, for a family of objects in a category , we can form the product of Hom-functors . A representation of this functor is equivalently a coproduct, with the universal element being the family of structure morphisms. (cf. the corresponding remark for products.)
Equalizers and Coequalizers
Definition C6.17 Let be a category, let be objects and let be a family of morphisms. Then an equalizer consists of the following data:
- An object in
- A morphism , called structure morphism or -by abuse of terminology- also the equalizer of the , which satisfies .
Such that the following universal property holds:
- For any object and every morphism such that , there is a unique morphism such that
The universal property can be visualized via a commutative diagram, here shown in the case of binary equalizers:
Remark Equalizers are terminal objects in a suitable chosen category: in the situation of definition C6.17, define the following category :
- Objects are pairs where is an object in and is a morphism such that .
- Morphisms are morphisms in such that
- Composition is inherited from
Then one may restate the definition of an equalizer by saying that an object is a terminal object if and only if is an equalizer with structure morphism . This implies that an equalizer is unique up to unique isomorphism in the following sense: If and are both equalizers of the same family of morphisms , then there exists a unique isomorphism such that .
Example C6.18 Consider the category of sets . Then an equalizer of a family of maps can be realized as the largest subset of on which they agree: If we let be the subset of consisting of all such that and take to be the subset inclusion, then any map such that has its image contained in . Hence it factorizes uniquely through the subset inclusion , showing that satisfies the universal property. If all sets involved are semigroups, monoids, groups, rings or -modules etc. and the maps are homomorphisms of the respective type, then will be a subsemigroup, submonoid, subgroup, subring or submodule, respectively and by the same argument, satisfies the universal property of the equalizer.
Suppose a group acts on a set , then we can consider the action as a collection of maps . In this case, one checks that the set is given by the set of invariants .
One can think the equalizer as measuring “how equal” a collection of morphisms are.
Definition C6.19 A coequalizer in a category is an equalizer in the opposite category .
Exercise Write out the universal property for coequalizers.
Example C6.20 Consider the category of sets , then a coequalizer of a family of morphisms , can be constructed as follows: Consider the equivalence relation on generated by for all and . (Given a relation on a set, the intersection of all equivalence relations containing it is again an equivalence relation, called the equivalence relation generated by it.) Then the quotient map is a coequalizer. If a group acts on a set , then if we consider the coequalizer of the family of maps by which acts, this is the quotient space . If we use the quotient topology, the same construction works in the category of topological spaces.
Example C6.21 If we work in the category of -modules and we have a family of -linear maps , then one can take the quotient of by the submodule generated by the set where vary over and varies over . The quotient module with the quotient map is then a coequalizer in the category of -modules.
If one thinks of an equalizer as a universal solution to the problem of making maps equal from the left (i.e. by precomposing with a map), then dually a coequalizer is a universal solution to the problem of making maps equal from the right (i.e. by postcomposing with a map).
Pullbacks and Pushouts
Definition C6.22 Let be a category, let be objects and let and be morphisms. Then a pullback consists of the following data:
- An object
Such that the following universal property holds:
- For every object and morphisms and such that , there exists a unique morphism such that and
The universal property can be visualized by the following commutative diagram:
Exercise Generalize this definition to the case of a family of objects and a family of morphisms .
One can think of pullbacks as a “mix” of products and equalizers. For products, we had multiple objects but no morphisms between them as a given datum, whereas for equalizers, we had multiple morphisms, but all with the same source and target. For pullbacks, we have different objects and morphisms from those objects to a common target. The following lemmata make the relation of pullbacks to equalizers and products precise.
Lemma C6.23 In the situation of definition C6.22, suppose that the product exists and suppose that for the structure morphisms of the product and , the equalizer exists with structure morphism . Then this equalizer is a pullback with structure morphisms and .
Proof We verify the universal property. We have from the definition of an equalizer. Let be an object and let and be morphisms such that . Then by the universal property of the product, there is a unique morphism such that and . Then we get that , so that by the universal property of the equalizer, there is a unique map with the required property.
Lemma C6.24 Suppose that a category has a terminal object . Then, if for two objects , the pullback (along the unique morphisms ), exists, it is a product of and .
Lemma C6.25 Suppose that in a category , the product for an object exists. Let be two morphisms from another object and let be the unique morphism such that and . Furthermore, let be the unique morphism such that and . Then if the pullback exists, it is an equalizer with structure morphism defined via the projection .
Exercise Prove the preceeding two lemmata. (This is a nice exercise in getting used to working with universal properties.)
Exercise If a pullback exists, it is unique up to unique isomorphism in a certain sense. Specify what that means and prove it. (There are a couple of different ways to see this, one can define a category such that a pullback is a terminal object (as we did for equalizers), one can define a functor such that a pullback is a representation of that functor (as we did for products), or one can work with the universal property directly.)
Example C6.26 Lemma C6.23 tells us what pullbacks look like, given that we know products and equalizers. For example, in the category of sets, a pullback of two maps and can be realized as a subset of the product . The same construction works for semigroups, monoids, groups, rings etc.
As you might expect, we can dualize this notion, giving rise to the notion of pushouts.
Definition C6.27 A pushout in a category is a pullback in the opposite category
Example C6.28 Consider the category of commutative rings. Given commutative rings and ring homomorphisms , , we can consider both and as -modules via and , respectively, so we can consider the tensor product . Via the definition on elementary tensors, one obtains a multiplication (using the universal property of tensor products to see that it is well-defined) that turns into a commutative ring. The structure morphisms are given by and . Using the dualized version of lemma C6.24, we see that the coproduct of two commutative rings and is given by .
This concludes this post on examples of limits and colimits, next time we will look into the general definition.