## 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 , 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 has finite products and equalizers of pairs then it has limits for all functors from finite categories . 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.

So let’s unpack it. We’re in a category and are considering a functor , where 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 and the product over all the *morphisms* of of the images of their target objects. Now towards the top we have a projection from the second product onto each factor, and since each factor is in the image of we also have morphisms from the first product. There’s actually a triangle at the top for each morphism in the category , but we only draw one. Now by the universal property of the second product there exists a unique arrow 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 there’s a projection from the first product onto the image of its *source*, and then there’s an arrow 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 , but we only draw one. Again, by the universal property of the second product there exists a unique arrow 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 , so we can compose to get an arrow for each object . I claim that this is the limit we seek.

First we need to check that this is a cone on . For an arrow in we need to see that . The lower commuting square for tells us that . The upper commuting square tells us that . So we calculate as desired.

Now if is any other cone on then the arrows in the cone combine to give a unique arrow . Since this is a cone, we can check that . Thus factors uniquely through , 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 , , , , and 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.

[…] 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 |

[…] 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 |

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

Comment by Avery Andrews | January 17, 2008 |

You might think so, but notice that the product is indexed by , and so the projection morphisms are also indexed by the same .

Comment by John Armstrong | January 17, 2008 |

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 |

what are the proofs of some of the trigonometric limits theorems

Comment by ronaldo bautista | July 28, 2009 |

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 |

[…] 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 |

[…] 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 |

Where the upper commuting square is, of course, a triangle.

Comment by Maths student | December 18, 2016 |