From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9052 Path: news.gmane.org!.POSTED!not-for-mail From: Eduardo Julio Dubuc Newsgroups: gmane.science.mathematics.categories Subject: Re: Re: Fibred 2-category of Grothendieck toposes? Date: Tue, 6 Dec 2016 04:59:21 -0300 Message-ID: References: <8135_1480682187_58416ACB_8135_508_1_E1cCn2y-0006W1-1X@mlist.mta.ca> Reply-To: Eduardo Julio Dubuc NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1481119762 1003 195.159.176.226 (7 Dec 2016 14:09:22 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 7 Dec 2016 14:09:22 +0000 (UTC) To: Marta Bunge , Steve Vickers , Categories Original-X-From: majordomo@mlist.mta.ca Wed Dec 07 15:09:13 2016 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.28]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cEcuE-00072D-Lc for gsmc-categories@m.gmane.org; Wed, 07 Dec 2016 15:09:10 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:60007) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1cEctU-00011o-Ru; Wed, 07 Dec 2016 10:08:24 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1cEctV-0005Rq-A1 for categories-list@mlist.mta.ca; Wed, 07 Dec 2016 10:08:25 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9052 Archived-At: What about the 1984 Joyal-Tierney "An extension of the Galois theory of Grothendieck", AMS Memoirs 309 ? They already do extensive work concerning bounded topos over an elementary topos, especially exploiting change of base (and explicitely saying so in their introduction). regards e.d. El 12/2/16 a las 10:30, Marta Bunge escribi?: > > Dear Steve, > > The setting of a 2-category GTop bounded over an elementary topos S has been extensibly worked out in practice in (for instance) the book by Marta Bunge and Jonathon Funk, Singular Coverings of Toposes, LNM 1890, Springer 2006, and in several papers by myself or with collaborators which you can look up in my Research Gate page. The terminology that I have used for it everywhere (including lectures) is Top_S, by which it is not meant Top/S but the sub 2-category of it whose objects are bounded geometric morphisms between elementary toposes, with codomain S. In particular It often becomes necessary to consider change of base. The terminology is well adapted to the consideration of certain distinguished sub 2-categories of Top_S - for instance LTop_S denotes that whose objects are geometr ic morphisms with codomain S and a locally connected elementary topos. I hope this is useful to you. > > Cordial regards, > Marta > >> On Dec 2, 2016, at 5:20 AM, Steve Vickers wrote: >> >> If "Grothendieck topos" means bounded geometric morphism into a given >> base S, then by allowing the base to vary we can get a 2-category GTop >> of Grothendieck toposes, fibred over some form of ETop (elementary >> toposes). This is because pseudopullbacks of bounded geometric morphisms >> along arbitrary geometric morphisms exist and are still bounded. (I say >> "some form of" ETop because it may be better to restrict the 2-cells >> downstairs to be isos, even though we certainly don't want to do the >> same upstairs. Also nnos are needed if classifying toposes are to exist.) >> >> Has anyone worked on that particular combination of bounded and unbounded? >> >> Steve Vickers. > > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]