From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4981 Path: news.gmane.org!not-for-mail From: Vaughan Pratt Newsgroups: gmane.science.mathematics.categories Subject: Re: Fundamental Theorem of Category Theory? Date: Tue, 16 Jun 2009 20:28:28 -0700 Message-ID: Reply-To: Vaughan Pratt NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1245247089 20411 80.91.229.12 (17 Jun 2009 13:58:09 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 17 Jun 2009 13:58:09 +0000 (UTC) To: categories Original-X-From: categories@mta.ca Wed Jun 17 15:58:06 2009 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.50) id 1MGveQ-0002Y2-GP for gsmc-categories@m.gmane.org; Wed, 17 Jun 2009 15:58:06 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1MGv4T-0000Du-LU for categories-list@mta.ca; Wed, 17 Jun 2009 10:20:57 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:4981 Archived-At: Steve Lack wrote: > Your proposed characterization is actually a characterization of full > subcategories of [J^op,Set] containing the representables. Right, that's what I meant by "*a* category of presheaves on J" (as opposed to *the* category of all presheaves on J), the point of my analogy with Archimedean fields (as opposed to the field of all reals). > To get the whole > presheaf category you should add that C is cocomplete, Right, just as to get all of the reals one should say that the Archimedean field is complete. For situations where one doesn't need the whole thing it is convenient to be able to characterize the categorical counterpart of an Archimedean field, with J in place of Q, as any full, faithful and dense extension of J. Density serves to keep the extension inside [J^op,Set], just as it keeps Archimedean fields inside R. > and that homming out > of objects in J is cocontinuous (i.e. C(j,-) is cocontinuous for all j in > J). Am I missing something? I was thinking that followed from density of J in C. Vaughan [For admin and other information see: http://www.mta.ca/~cat-dist/ ]