## Initial, Terminal, and Zero Objects

**Point of Post: **In this post we discuss the notion of initial, terminal, and zero objects in general categories, and give examples of each.

*Motivation*

We have already discussed how there are different types of morphisms in a category, and so a natural question to ask, is what are the different types of objects? Namely, are there objects in a category that are distinguishable? Well, considering our mantra that objects are invisible (there direct reference in constructions should be avoided) whatever these distinguished objects are, they’re ‘special qualities’ should be formulated entirely in terms of morphisms. In this post we consider three particular kinds of objects: initial, terminal, and zero. Intuitively these are the objects that the simplest possible morphism structure in the category. Namely, initial, terminal, and zero objects are such that given any other object in the category one (or both) the Hom set between them (which Hom set [e.g. vs. ] depends upon which type of object we are discussing) are completely determined, and moreover their determination is simple. For example, the object in a category will be initial if is a singleton for each object . Similarly, an object is terminal if is a singleton for each object . An object is a zero object if it’s both initial and terminal. The naming for initial and terminal object should be fairly transparent, and if you’re wondering why a zero object was named as such, just think that in the category the zero group serves as the zero object.

*Initial, Terminal, and Zero Objects*

Suppose we are given a fixed category . We call an element *initial* if for every other element there exists a unique morphism . We call *terminal* if there exists a unique morphism for every other object . Finally, we call an element a *zero object* if it’s both terminal and initial.

Let’s look at some examples:

The empty set is a terminal object in . Given any other set there is a unique morphism (the empty mapping).

The ring of integers is an initial object in the category of unital rings and unital ring maps.

A singleton is terminal in . The only mapping is the constant map.

A singleton (given the only possible topology) is also a terminal object in since given any topological space the constant map is continuous, and it’s the only such continuous map (in fact any map) .

The zero group, zero ring, zero module are all zero objects in respectively.

Now, let’s look at some non-examples:

While is an initial object in it is certainly not a terminal object, since given there does not even exist a map latex \text{ }$

Singletons are not initial objects in either or since, for example, there are two set/continuous maps (where in the case of , is given the discrete topology).

is not a terminal object in since there are two distinct projections .

Now, let’s look at some theorems:

**Theorem: ***Let be a category, then initial and terminal objects in are unique up to unique isomorphism.*

**Proof: **Suppose first that and are two initial objects in . The fact that any isomorphism is unique is clear, and such an isomorphism exists because if and are guaranteed maps, then we know that and are morphisms, but since and are also morphisms we may conclude by uniqueness that and . Thus, is an isomorphism.

The case for terminal objects follows similarly.

Note that if is a zero object for the category and are any two other objects then there exists a unique map , this is called the *zero morphism *. Note that the composition of zero morphisms is a zero morphism.

The above contains an important kernel of information. Namely, while it’s often easy to forget that this is true, given objects in some category there is no reason that isn’t empty–i.e. that there are no arrows . For example, in the category of untial rings with unital homomorphisms one has that . Indeed, we can recall that the existence of a unital homomorphism implies that (this is just a rephrasing of the simple fact of group theory that applied to the fact that ), and since we have the above equality (in fact, this also shows that as well). That said, it’s easy to see that given any two objects in , rings (not necessarily unital) with ring maps (not necessarily unital rings maps), one has that . Indeed, this stems from the simple fact that given any two rings and the zero map is a ring homomorphism (albeit not unital!).

Basically the saving grace (assuming we wanted non-empty Hom sets) was that has a zero object–the zero ring. The categorical zero map factoring through the zero ring is nothing more than the described zero map . Thus, this shows us that if a category has a zero object then for any two objects in because we have the zero arrow . The converse of this tells us that , and in fact any category with an empty Hom set (e.g. the category and the category of integral domains, thought of as full subcategories of ) cannot have a zero object. Of course, the converse to this is unfortunately not true. For example, consider the category of non-empty topological spaces thought of as a full subcategory of . Note then that for any non-empty topological spaces one has that is non-empty as choosing the constant map is a continuous map . That said, does not have a zero object, for there are always uncountably many continuous maps for any non-empty topological space corresponding to the constant maps associated to each element of .

**References:**

[1] Mac, Lane Saunders. *Categories for the Working Mathematician*. New York: Springer-Verlag, 1994. Print.

[2] Adámek, Jirí, Horst Herrlich, and George E. Strecker. *Abstract and Concrete Categories: the Joy of Cats*. New York: John Wiley & Sons, 1990. Print.

[3] Berrick, A. J., and M. E. Keating. *Categories and Modules with K-theory in View*. Cambridge, UK: Cambridge UP, 2000. Print.

[4] Freyd, Peter J. *Abelian Categories.* New York: Harper & Row, 1964. Print.

[5] Rotman, Joseph J. *Introduction to Homological Algebra*. Springer-Verlag. Print.

[…] To go from a -category to a preadditive category we must merely require that the category has a zero object, as do all the above examples of […]

Pingback by Ab-categories and Preadditive Categories (Pt. I) « Abstract Nonsense | January 2, 2012 |

[…] can then define a tensor product of to be an initial object in […]

Pingback by The Construction of the Tensor Product of Modules (Pt. I) « Abstract Nonsense | January 3, 2012 |

[…] We see that, just as functor categories “preserve” special types of morphsims they also preserve special types of objects. […]

Pingback by Functor Categories (Pt. II) « Abstract Nonsense | January 7, 2012 |

[…] we are interested in will be appealing to us, because we can apply object-oriented notions (e.g. initial object) to these arrows. We shall see that being able to make such object references to arrows will serve […]

Pingback by Comma Categories (Pt. I) « Abstract Nonsense | January 10, 2012 |

[…] see that there is only one way to define a -algebra structure on a given ring , this is because is initial in and so there is only one unital homomorphism . Moreover, it’s easy to verify that this is […]

Pingback by R-Algebras « Abstract Nonsense | January 10, 2012 |

[…] pair where is an object in and an arrow , is a universal arrow from to , if and only if is an initial object in the comma […]

Pingback by Universal Arrows and Universal Elements (Pt. I) « Abstract Nonsense | January 12, 2012 |

[…] that for some . Thus, is an arrow and . Moreover, it’s clear that is unique, since is epic (being surjective). This proves that is a universal element for . The cool thing is that (as we […]

Pingback by Universal Arrows and Universal Elements (Pt. II) « Abstract Nonsense | January 12, 2012 |

[…] formulation of kernel easily now generalizes to defining the kernel of a map in any category with a zero object. Indeed, suppose that is such a category and suppose we have a diagram in . Then, we define […]

Pingback by Equalizers and Coequalizers (Pt. I) « Abstract Nonsense | February 22, 2012 |

[…] one more important example of field extensions. Namely, let be any field. Recall that is an initial object in , or in much less obnoxious language, the fact that is a ring tells us that there is a unique […]

Pingback by Field Extensions « Abstract Nonsense | March 7, 2012 |

[…] step up the ladder–preadditive categories. Of course, this is equivalent to identifying a zero object for our category. Of course, it’s not hard to guess what the zero object is. Namely, […]

Pingback by Chain Complexes « Abstract Nonsense | April 3, 2012 |

[…] of and cone morphisms between such cones forms a category . We then define a limit of to be a terminal object in […]

Pingback by Limits, Colimits, and Representable Functors (Pt. I) « Abstract Nonsense | April 13, 2012 |