From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5928 Path: news.gmane.org!not-for-mail From: Steve Lack Newsgroups: gmane.science.mathematics.categories Subject: Re: pullback of locally presentable categories Date: Wed, 16 Jun 2010 10:51:10 +1000 Message-ID: References: Reply-To: Steve Lack NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1276682951 5679 80.91.229.12 (16 Jun 2010 10:09:11 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 16 Jun 2010 10:09:11 +0000 (UTC) To: Gaucher Philippe , categories Original-X-From: categories@mta.ca Wed Jun 16 12:09:10 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 1OOpYU-0003EW-1K for gsmc-categories@m.gmane.org; Wed, 16 Jun 2010 12:09:10 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1OOp79-0000Bq-Ji for categories-list@mta.ca; Wed, 16 Jun 2010 06:40:55 -0300 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5928 Archived-At: Dear Philippe, If you mean the literal pullback then no. But perhaps you mean the pseudopullback or the iso-comma objects (where one askes for commutativity of the square only up to isomorphism) in which case things look better. Greg Bird proved in his 1984 thesis that: (i) the 2-category of locally presentable categories, left adjoint functors, and natural transformations has all flexible limits; (ii) the 2-category of locally presentable categories, right adjoint functors, and natural transformations has all flexible limits. These flexible limits include pseudopullbacks and iso-comma objects. They also imply the existence of all bilimits (where everything is done up to isomorphism of 1-cells, and the universal property involves just a pseudonatural equivalence). In the thesis, flexible limits were called "limits of retract type". Makkai and Pare proved in their monograph on accessible categories that: (iii) the 2-category of accessible categories, accessible functors, and natural transformations has bilimits. Bilimits were there called "Limits" (capital L). Adamek and Rosicky also consider limits of accessible categories. Their approach is different to Makkai and Pare, which allows them to consider flexible limits rather than bilimits. They consider the same 2-category Acc as Makkai and Pare, and show that for various types of flexible limit, if a diagram lives in Acc, then its (flexible) limit in Cat actually lies in Acc. They do not show that it is the limit in Acc (and since Acc is not a full sub-2-category of Cat this is not automatic) but this is not too hard to do. In fact if this detail is filled in then the existence of all flexible limits in Acc would follow once one proved that Acc is closed in Cat under the splitting of idempotents: if A is an accessible category and e:A->A an accessible idempotent functor, then the splitting B of e is an accessible category and the functors r:A->B and i:B->A are accesible functors. I guess this is probably true, but haven't thought too much about it. Regards, Steve Lack. On 14/06/10 11:48 PM, "Gaucher Philippe" wrote: > Dear categorists, > > Is a pullback of locally presentable categories locally presentable ? All > involved functors are accessible in my case. > > Thanks in advance. pg. > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]