The Unapologetic Mathematician

Mathematics for the interested outsider

The Existence Theorem for Limits

Of course, though we’ve defined limits, we don’t know in general whether or not they exist. Specific limits in specific categories have been handled in an ad hoc manner. We show that the Cartesian product is a product in \mathbf{Set}, or that there is a subset which equalizes a pair of morphisms, but we have been doing this all by hand and there are so many different kinds of limits that it’s impossible to handle them all like this. Luckily, we can build complicated limits out of simpler ones in many cases.

In fact, we’ve already seen this: we built pullbacks from products and equalizers. Actually we explicitly built pushouts from coproducts and coequalizers, but the pullback construction is just the dual. Anyhow, that construction shows the general idea. If a category \mathcal{C} has finite products and equalizers of pairs then it has limits for all functors from finite categories \mathcal{J}. If it has all products (indexed by arbitrary sets) as well as pairwise equalizers then it is complete. Conversely, since products and equalizers are examples of limits completeness of a category implies their existence. That is, once we have these kinds of limits all the others come for free.

The proof is summed up in this somewhat arcane diagram.
Existence of Limits Diagram
So let’s unpack it. We’re in a category \mathcal{C} and are considering a functor F:\mathcal{J}\rightarrow\mathcal{C}, where \mathcal{J} is either a small or a finite category.

Starting in the middle row we’ve got the product of all the objects in the image of F and the product over all the morphisms of \mathcal{J} of the images of their target objects. Now towards the top we have a projection \pi_u from the second product onto each factor, and since each factor is in the image of F we also have morphisms from the first product. There’s actually a triangle at the top for each morphism u in the category \mathcal{J}, but we only draw one. Now by the universal property of the second product there exists a unique arrow f from the first product to the second that makes all these triangles commute.

We do a similar thing on the bottom. We again have the projections from the second product to its factors. For each morphism in \mathcal{J} there’s a projection from the first product onto the image of its source, and then there’s an arrow F(u) from the image of the source to the image of the target. Again, there’s one such square at the bottom for each morphism in \mathcal{J}, but we only draw one. Again, by the universal property of the second product there exists a unique arrow g from the first product to the second that makes all of these squares commute.

So now we have two parallel arrows from the first product to the second, and we take their equalizer, which gives an arrow into the first product. We also have an arrow out of the product for each object of \mathcal{J}, so we can compose to get an arrow \mathrm{Equ}(f,g)\rightarrow F(J) for each object J\in\mathcal{J}. I claim that this is the limit we seek.

First we need to check that this is a cone on F. For an arrow u:J\rightarrow K in \mathcal{J} we need to see that \pi_K\circ e=F(u)\circ\pi_J\circ e. The lower commuting square for u tells us that F(u)\circ\pi_J=\pi_u\circ g. The upper commuting square tells us that \pi_K=\pi_u\circ f. So we calculate \pi_K\circ e=\pi_u\circ f\circ e=\pi_u\circ g\circ e=F(u)\circ\pi_J\circ e as desired.

Now if (L,\{\lambda_J\}_{J\in\mathrm{Ob}(\mathcal{J})}) is any other cone on F then the arrows in the cone combine to give a unique arrow h:L\rightarrow\prod_{J\in\mathrm{Ob}(\mathcal{J})}F(J). Since this is a cone, we can check that f\circ h=g\circ h. Thus h factors uniquely through e, giving the universal property we need.

In the finite case, our discussion of multiple products shows that all we need are binary products, a terminal object, and binary equalizers to have all finite products and binary equalizers, and thus to have all finite limits. In general, infinite products have to be dealt with on their own.

Many of our algebraic categories can now be shown to be complete. For examples, each of \mathbf{Set}, \mathbf{Grp}, \mathbf{Ab}, R-\mathbf{mod}, and \mathbf{mod}-R is complete.

Dually, a category is cocomplete if and only if it has all coproducts and pairwise coequalizers. It has all finite colimits if and only if it has all finite coproducts and pairwise coequalizers. You should determine which of the above list of categories are cocomplete.

About these ads

June 20, 2007 - Posted by | Category theory

9 Comments »

  1. [...] of limits We know that the category has equalizers and all (small) products, so by the existence theorem we know it is complete. However, it will be useful to have an explicit calculation of all small [...]

    Pingback by Limits of sets and Creation of limits « The Unapologetic Mathematician | June 21, 2007 | Reply

  2. [...] and coproducts, while kernels of morphisms tell us about all different equalizers. And then The Existence Theorem for Limits tells us that every finite limit can be constructed from finite products and equalizers, while [...]

    Pingback by Properties of Ab-Categories « The Unapologetic Mathematician | September 17, 2007 | Reply

  3. Should the arrow from the first product to F(J) in the lower left of the diagram be lablled \pi_F(J)?

    Comment by Avery Andrews | January 17, 2008 | Reply

  4. You might think so, but notice that the product is indexed by J\in\mathrm{Ob}(\mathcal{J}), and so the projection morphisms are also indexed by the same J.

    Comment by John Armstrong | January 17, 2008 | Reply

  5. Ah, right. Another, expository, point is that this entry might be a bit easier to follow if the diagram was enlarged a bit, since, especially in printouts, the subscripts can be pretty difficult to read, especially the ones typeset slanted.

    Comment by Avery Andrews | January 18, 2008 | Reply

  6. what are the proofs of some of the trigonometric limits theorems

    Comment by ronaldo bautista | July 28, 2009 | Reply

  7. ronaldo, you obviously have no clue what sorts of limits I’m talking about here. I’m not going to do your homework for you.

    Comment by John Armstrong | July 28, 2009 | Reply

  8. [...] now, the existence theorem for limits tells us that all limits and colimits exist in . That is, the category of topological spaces is [...]

    Pingback by Limits of Topological Spaces « The Unapologetic Mathematician | April 28, 2010 | Reply

  9. [...] attatched. It turns out that if we unpack all the category theory — basically using the existence theorem — it’s not really that [...]

    Pingback by The Stalks of a Presheaf « The Unapologetic Mathematician | March 23, 2011 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 366 other followers

%d bloggers like this: