Limits of sets and Creation 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 limits at hand. We’ll find this by walking through the existence theorem in this category.
Given any small category , a functor is a collection of sets and functions . We can take the product of all the sets in the collection , consisting of all lists of elements with each . It comes with projections , but the triangles formed by these projections might not commute — is not equal to in general.
So take the subset of the product consisting of all those lists with for all morphisms of . Then we have functions defined by which do make the required triangles commute, giving a cone on . If is any other cone on then each determines a list which lies in , which determines a unique function .
Now such a list is a list of elements of the various , and when it comes right down to it we just don’t like thinking about elements if we don’t have to. Instead of talking about an element of a set , we can talk about an arrow , where is a terminal object in — a set with one point. So what we really have here is a list of arrows with , which is a cone on !
So here’s the result of our calculation: The limit set is the set of all cones from to in . Further, we see that this set always exists, so is complete.
We could do a similar calculation in another category like , but we actually don’t have to reproduce all this work. Instead, we can consider the functor which assigns to every group its underlying set. If is a functor, then the composite has a limit . I claim that there is a unique group structure on this set so that the arrows are actually group homomorphisms to the groups , and that this cone in is a limiting cone.
Since the projection just reads off the component from the list, we see that for it to be a homomorphism we have to use the product from . That is, , so the component of the product must be , using the product from . Similarly the component of must be , using the inversion from .
Now if is any cone in then is a cone in , so for some unique function . We can check that
so must also be a group homomorphism, proving the required universal property.
In general we say that a functor creates a limit for a functor if for every limiting cone in there exists a unique cone in with and , and further this cone is a limiting cone. The above theorem can then be stated that the functor creates all limits. As a consequence, is complete.
A similar proof to the preceding theorem can be given to show that the “underlying set” functors from , , , , and other algebraic categories all create all (small) limits, and thus those categories are complete. This also shows that the group (ring, module, etc.) structure on a product (equalizer, pullback) is completely determined by the limit on the underlying sets.
Absolutely fantastic work. I just got hooked to your writings, recently via nCatCafe.
I was wondering how you produce such fine diagrams and symbols . May be you explain in one of your older posts..If not, I would much like to know your blog entry creation process.
-cheers
raj
Comment by Raj | June 22, 2007 |
The inline LaTeX is explained here. It also works for comments, and it’s good for all WordPress blogs, so if you want to use it in comments at Borcherds’ or Tao’s place, or at the Secret Blogging Seminar, that should do it.
For the larger diagrams I use Paul Taylor’s diagrams package in my actual TeX editor, then I capture that area of the screen, crop it to a nice round size, convert to JPEG, and upload as an image.
Comment by John Armstrong | June 22, 2007 |
[…] of limits Yesterday I talked about functors that create limits. It’s theoretically interesting, but a different condition that’s often more useful in […]
Pingback by Preservation of limits « The Unapologetic Mathematician | June 22, 2007 |
[…] in functor categories Today I want to give a great example of creation of limits that shows how useful it can be. For motivation, take a set , a monoid , and consider the set of […]
Pingback by Limits in functor categories « The Unapologetic Mathematician | June 23, 2007 |
2 (minor) typoes and a query.
par 5: from to F => from * to F
par 8: some unique function G->L => some unique function h:G->L
Query: Is the uniqueness part of the definition of “creates a limit” needed for getting the proof that GRP is complete? I can’t see why.
Comment by Avery | February 12, 2008 |
On the subject of LaTeX errors, whenever you write * as a single LaTeX image, it seems to not show up (at least not on the old version of IE I’m using at the mo, and I think not on firefox either). So eg.
So here’s the result of our calculation: The limit set (LaTeX image) is the set (LaTeX image) of all cones from (no visible LaTeX image) to…
Comment by PhiJ | March 6, 2008 |
Thanks PhiJ. That’s just the sort of thing that worked when I created it but got broken later.
Comment by John Armstrong | March 6, 2008 |
[…] space. This is a forgetful functor, and the usual abstract nonsense can be used to show that it creates limits. And from there it’s straightforward to check that the category of inner product spaces is […]
Pingback by The Category of Inner Product Spaces « The Unapologetic Mathematician | May 6, 2009 |