From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5855 Path: news.gmane.org!not-for-mail From: Marta Bunge Newsgroups: gmane.science.mathematics.categories Subject: RE: presentable vs. locally presentable Date: Tue, 25 May 2010 14:15:01 -0400 Message-ID: References: <20100525174101.761EC5B65@mailscan2.ncs.mcgill.ca> Reply-To: Marta Bunge NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1274967877 31098 80.91.229.12 (27 May 2010 13:44:37 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 27 May 2010 13:44:37 +0000 (UTC) To: Original-X-From: categories@mta.ca Thu May 27 15:44:35 2010 connect(): No such file or directory 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 1OHdNy-000075-Fq for gsmc-categories@m.gmane.org; Thu, 27 May 2010 15:44:34 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1OHd4y-0005pA-2W for categories-list@mta.ca; Thu, 27 May 2010 10:24:56 -0300 In-Reply-To: <20100525174101.761EC5B65@mailscan2.ncs.mcgill.ca> Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5855 Archived-At: Dear Mike=2C Very relevant to your questions is the paper=A0 Marta Bunge and Aurelio Carboni=2CThe symmetric toposJ. Pure and Applied Al= gebra 105 (1995) 233-249 If you still have questions after looking at it=2C please ask. I cannot ans= wer extensively now. Best wishes=2C=A0Marta ************************************************ Marta Bunge Professor Emerita Dept of Mathematics and Statistics=20 McGill UniversityBurnside Hall=2C Office 1005 805 Sherbrooke St. West Montreal=2C QC=2C Canada H3A 2K6 Office: (514) 398-3810/3800 =A0 Home: (514) 935-3618 marta.bunge@mcgill.ca=20 http://www.math.mcgill.ca/~bunge/ ************************************************ > Date: Mon=2C 24 May 2010 14:42:37 -0400 > Subject: categories: presentable vs. locally presentable > From: shulman@math.uchicago.edu > To: categories@mta.ca >=20 > Dear all=2C >=20 > I wonder how the following 2-categories are related? >=20 > 1. The 2-category of locally presentable categories and left adjoints. >=20 > 2. The full sub-2-category of the 2-category of cocomplete categories > and cocontinuous functors=2C consisting of those categories which are > small bicolimits (in that 2-category) of diagrams of presheaf > categories on small categories. >=20 > 3. Like (2)=2C but consisting only of those categories which are > codescent objects of diagrams of presheaf categories on small > categories. >=20 ... [For admin and other information see: http://www.mta.ca/~cat-dist/ ]