Limits, Colimits, and Representable Functors (Pt. I)
Point of Post: This post is mostly focused on motivating and defining limits and colimits, and defining representable functors only to make this process easier.
We have, up until this point, discussed various kinds of “constructions”, in particular we have discussed products and equalizers and their appropriate dual notion. Despite their apparent differences, all of these constructions were made via a very similar procedure. Namely, we had some “diagram” in mind, and we were looking for the object and arrows to (or from) that object to make the diagram a reality. For example, the product of and could be phrased as trying to find an object and maps such that given an object and maps we have (uniquely) the following commuting diagram
Similarly, we could write down a certain diagram for equalizers involving known objects/arrow, desired objects/arrows, and variable objects/arrows which tells us (unsurprisingly) what we have, what we want, and what our wanted things should do. This is the general idea of a limit, or perhaps better, the “limit of a diagram”. Namely, we have some set of objects and maps between these objects and some diagram (such as the one above) in mind for which there is some imaginary (desired) object and a variable object that tells us what this imaginary object does (in relation to the known objects, and maps from the known objects to the variable objects) [was this the same sentence as two sentences ago?]. Of course, this is all intuition and we need a firm, rigorous grounding to set this heavy intuition upon. So, how do we do this? The key was the observation we made during our discussion of equalizers, that an equalizer could very well be thought of as a “representing element” that takes a -valued functor and turns it into a covariant (or contravariant) Hom functor. Roughly the idea behind this, is that we can state in what diagram we want with very little problem (because is such a manageable category) and finding a Hom functor that “represents” this diagram (which, secretly, is itself a functor) is equivalent to finding an object that makes everything work out the way we want it to.
The above was very wishy-washy, and perhaps (to some–or most) not at all helpful, but it’s what makes sense in my head. If the above doesn’t suffice as motivation perhaps some we’ve-secretly-already-done-this magic will help. Indeed, the limits and colimits we are about to consider can be thought of as generalizations to general categories (and more general diagrams) of the notion of direct and inverse limits of modules or rings.
Limits and Colimits
Ok, so now we can finally get down to brass tacks. Let us just go ahead and charge into the actual technical details of a limit and colimit of a diagram.
For us a diagram in over shall be a functor where is a small category. Why should this be our definition of a diagram? A category is just a collection of dots and arrows (right?) and a functor can be thought of as placing the objects of on top of the dots and morphisms in on top of the arrows. For example, if we have the category which consists of two objects and and two non-identity arrows a functor is nothing more than two continuous topological spaces and and two continuous maps , or graphically
Hopefully this makes clear why this definition of diagram makes sense.
Ok, so we are going to want to take the “limit” of diagrams. What exactly should this mean? As we said in the introduction a limit should be some kind of external object that “completes” the diagram in the most efficient way. In particular, let’s say that a cone for a diagram shall be an object of and a set of arrows for each an object of with the property that whenever one has a morphism in the diagram
commutes. We shall usually denote a cone as .
Why is a cone called a cone? Well, think about the diagram pictorally (i.e. envision it as a set of objects and arrows). Then, sits external to this diagram–for the sake illustrative purposes let’s imagine it sits above the diagram. Then the arrows from down to the vertices (objects) of the diagram creates a “cone” where the vertex is , the base is the diagram, and the connecting part is this set of arrows.
Anyways, let’s say that a morphism of cones , say from to , to be an arrow with the property that the resulting triangles
Intuitively one can think about as lying farther away from the diagram and the morphism of cones as being an arrow down from such that it doesn’t matter if we go straight down from to the diagram or go from to and then down to the diagram.
Ok, it’s easy to see that the composition of cone morphisms is a cone morphism and that the identity arrow serves as a cone morphism . Thus, the set of all cones of and cone morphisms between such cones forms a category . We then define a limit of to be a terminal object in .
While this definition is clean and quick it is slightly opaque, so let’s lay it out for the world to see. A limit of should be an object along with arrows such that the resulting diagrams commute. Moreover, any time we have another object and a set of arrows which makes the resulting diagrams commutes, there exists a unique arrow such that the resulting diagrams commute.
 Mac, Lane Saunders. Categories for the Working Mathematician. New York: Springer-Verlag, 1994. Print.
 Adámek, Jirí, Horst Herrlich, and George E. Strecker. Abstract and Concrete Categories: the Joy of Cats. New York: John Wiley & Sons, 1990. Print.
 Berrick, A. J., and M. E. Keating. Categories and Modules with K-theory in View. Cambridge, UK: Cambridge UP, 2000. Print.
 Freyd, Peter J. Abelian Categories. New York: Harper & Row, 1964. Print.
 Mitchell, Barry. Theory of Categories. New York: Academic, 1965. Print.
 Herrlich, Horst, and George E. Strecker. Category Theory: An Introduction. Lemgo: Heldermann, 2007. Print.