From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5640 Path: news.gmane.org!not-for-mail From: Michael Shulman Newsgroups: gmane.science.mathematics.categories Subject: Re: equality is beautiful Date: Mon, 15 Mar 2010 20:59:29 -0500 Message-ID: References: Reply-To: Michael Shulman NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1268746548 11222 80.91.229.12 (16 Mar 2010 13:35:48 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 16 Mar 2010 13:35:48 +0000 (UTC) Cc: categories@mta.ca, Richard Garner , David Leduc To: Toby Bartels Original-X-From: categories@mta.ca Tue Mar 16 14:35:42 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1NrWvn-0001AW-Pe for gsmc-categories@m.gmane.org; Tue, 16 Mar 2010 14:35:35 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NrWJm-0005WA-0N for categories-list@mta.ca; Tue, 16 Mar 2010 09:56:18 -0300 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5640 Archived-At: To rephrase what Toby said: the construction of limits via products and equalizers only works for limits over a domain category which has a set(oid) of objects (what Toby calls a "strict category"), whether that set is large or small. Of course, it also only works when the products and equalizers exist; a particular limit may exist without the relevant products and equalizers existing. It is true that we are most interested in limits over small strict categories, but there are many limits over large categories that do exist and are occasionally useful. For instance, every object X of a category C is the limit of the identity functor C --> C weighted by the representable weight hom_C(X,-), whether or not C is small or strict. Of course, by Freyd's theorem, a large category cannot have large *products* unless it is a preorder, so one shouldn't expect to be able to construct such large limits via products and equalizers. This matches quite nicely with the type-theoretic philosophy, according to which the large categories which arise in nature are rarely strict, so that it wouldn't even make sense to ask for the relevant products and equalizers. Mike Toby Bartels wrote: > David Leduc wrote: > >> What about the characterization of limits in terms of products and >> equalizers? It states that the limit of a functor F:J->C is >> constructed by products indexed by the set(oid) of objects and the >> set(oid) of arrows of J. But if you don't allow equality on objects in >> J, you only have a preset of objects, not a set(oid). > > Consider the analogy between small and strict categories. > (A category is strict if it is equipped with a notion of equality of objects. > Logically, this is a structure rather than a property like smallness.) > > Often when speaking of small categories, one speaks relative to a universe > which is a collection of set(oid)s or a collection of set(oid) cardinalities, > so every small preset automatically comes equipped with a notion of equality. > In this case, every small category is strict. Conversely, > every strict category is small relative to some universe, > if you accept an axiom such as Grothendieck's axiom of universes. > So these are very closely related concepts. > > As is well known, we are most interested in the limit of F: J -> C for small J. > Less well known, but also true, we are most interested in it when J is strict. > In that case, there is no problem; the arrows of J form a set(oid), > and we can consider products indexed by that set(oid). > In principle, J doesn't have to be strict, any more than it has to be small, > but if you have some reason to believe that the limit exists, > then you can examine that reason to see what product is relevant. > Most of the time, you can just assume that J is small and strict. > > > --Toby > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]