Examples of Categories (Revisited)
Point of Post: In this post we more closely examine some examples of categories.
We are going to be starting to talk a fair amount about categories, and so I thought that it would be helpful to lay out some examples, not only to give us intuition about categories, but to set down some of the notation and recurring characters. We have already defined categories (although, somewhat unsatisfactorily, but it will have to do) and motivated them.
The Basic Examples
Remark: In all that follows the multiplication (composition) in the categories is just function composition.
We begin by noting perhaps one of the most important of all categories, the category of all sets with equal to the class of all sets, with the morphisms . We also have the category of all pointed sets which are just ordered pairs where is a set and (i.e. sets with a distinguished points). The morphisms of are just functions which respect the distinguished points, i.e. a morphism is a function with .
These are the three main categories of groups. One has that is the class of all groups, is the class of all abelian groups, and in all cases the morphisms are just the group homomorphisms.
This is the category of all topological spaces, with equal to the class of all topological spaces, and equal to the set of all continuous maps . Similar to we have the category of all pointed topological spaces, which are just topological spaces with a distinguished point, and the morphisms are continuous maps which respect the distinguished points.
These are the categories of metric spaces with the class of all metric spaces and the class of all complete metric spaces. Now, one has, unlike the previous examples, a difference in which morphisms we take for the different categories. In particular , consist of the contractions between the spaces, consists of the uniformly continuous maps between the spaces, and consists of the continuous maps between the spaces. Also lurking in here is the category of all Banach spaces with contractions as morphisms.
These are the ring categories. Their objects, listed in order of appearance, are the class of all unital rings, class of all rings (not necessarily unital–or at least with no specified ), commutative unital rings, and commutative rings. Once again, there is a difference in the morphisms. consist of all ring homomorphisms and consists of all the unital ring homomorphisms.
Where in the above we have fixed a particular ring. We then define, obviously, to be the class of all left -modules, where we require the modules to be unital if is. Not shockingly is just the category of all right -modules. In both cases the morphisms are just -morphisms.
Here is a fixed field. The objects in these categories are the vector spaces over and the finite dimensional vector spaces over respectively. In both cases the morphisms are just the linear transformations between the spaces.
The above are what are called concrete categories which are, roughly, categories where the objects are sets and the morphisms are maps between the sets. That said, there are a lot of examples of categories which are nothing like concrete categories. For example, every monoid is canonically a category by defining to be the category with , , and the composition is just the multiplication in the monoid–clearly (where is the identity element of ). In fact, it’s not hard to see that, in a sense which can be made more precise, every category is just a quasimonoid, or a “monoid” where the multiplication between any two elements isn’t necessarily defined. Similarly, every group is a category with , , and the composition is just -multiplication. We also have discrete categories which are just categories where and if . It’s not hard to see that discrete categories are reallly just their underlying sets (classes). For example, we could take a category with (just some thing) and the morphisms are given by , i.e there is just one morphism the identity, so we can see that is just the discrete category on a set with one object. We can also create more categories in this dot manner by saying suppose we had a category consisting of two (distinct) objects and the following morphisms so that there is the identity maps on the two objects and a non-identity map between them. We can generalize this obviously to create a category with some objects, labeled with the identity morphism on each and precisely one morphism for and no others. We denote this category by (so that we have already discussed ).
Another interesting example is the category where is a commutative unital ring and is the set of all matrices over .
As a last thought we note that we can take the product of categories as follows. If are two categories we can form the product category where the objects are ordered pairs of objects of and morphisms are ordered pairs of morphisms where is a -morphisms and is a -morphism and we compose the morphisms componentwise.
 Mac, Lane Saunders, Lane Saunders Mac, and Lane Saunders Mac. Categories for the Working Mathematician. New York [etc.: Springer, 1988. Print.
 Herrlich, Horst, and George E. Strecker. Category Theory: an Introduction. Lemgo: Heldermann, 2007. Print.
 Adámek, Jiří, Horst Herrlich, and George E. Strecker. Abstract and Concrete Categories: the Joy of Cats. New York: Wiley, 1990. Print.