From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9534 Path: news.gmane.org!.POSTED!not-for-mail From: "Eduardo J. Dubuc" Newsgroups: gmane.science.mathematics.categories Subject: Re: Topos theory for spaces of connected components Date: Mon, 5 Feb 2018 17:46:34 -0300 Message-ID: References: Reply-To: "Eduardo J. Dubuc" NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-Trace: blaine.gmane.org 1517922692 10066 195.159.176.226 (6 Feb 2018 13:11:32 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 6 Feb 2018 13:11:32 +0000 (UTC) To: Steve Vickers , categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Tue Feb 06 14:11:27 2018 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ej31m-0001Rt-Ds for gsmc-categories@m.gmane.org; Tue, 06 Feb 2018 14:11:14 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:38211) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1ej32t-0000IZ-R9; Tue, 06 Feb 2018 09:12:23 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1ej31z-0004wz-DJ for categories-list@mlist.mta.ca; Tue, 06 Feb 2018 09:11:27 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9534 Archived-At: For any topos in SGA4 SLN 169 IV Exercice 8.7 it is established that the constant sheaf functor has a proadjoint. Thus the "connected components" of any topos form a proset, which in the locally connected case is an actual set. I do not remember a characterization of the category Pro(Set), but I do remember that the category Pro(finiteSet) is the category of stone spaces (this means that the inverse limit set with the product topology wholy characterize the proset). Thus, the topos with an Stone space of connected component are those in which the proset of connected components is a proset of finite sets. This are exactly the quasi-compact Topos (all covers of 1 admits a finite subcover). Obvious question is if this can be extended to the general case, that is taking the inverse limit of the proset with the product topology (that is, totally disconnected topological spaces). We know this can not be the case since the inverse limit may be empty, but may be the inverse limit in the category of locales is worth to investigate. Best e.d. On 04/02/18 07:52, Steve Vickers wrote: > Topos theory gives a solid account of local connectedness, where each > open - indeed, each sheaf - has a set (discrete space) of connected > components. The definition of locally connected geometric morphism > covers not only individual spaces but also bundles, considered > fibrewise. It also covers generalized spaces as well as > ungeneralized. > > Is there an analogous theory for where the space of connected > components is Stone? ("Connected" is now defined by orthogonality > with respect to Stone spaces instead of discrete spaces.) > > The obvious example is any Stone space X, for instance, Cantor space, > where X is its own space of connected components. We get Stone > spaces of connected components more generally for any compact regular > space - take the Stone space corresponding to the Boolean algebra of > clopens. People tend not to notice the Stone space aspects in the > usual examples based on real analysis, since they are also locally > connected. Being a Stone space then just makes the set of connected > components finite with decidable equality. For any compact regular > space, we find that each closed subspace has a Stone space of > connected components. > > (By the way, if you wonder what brought me to this, it was from > pondering the symmetric monad M on Grothendieck toposes. Bunge and > Funk proved that for ungeneralized spaces its localic reflection is > the lower powerlocale, which raises the question of whether there is > a missing topos construction whose localic reflection is the upper > powerlocale. On the other hand, the symmetric monad is related to > local connectedness. Points of MX are cosheaves on X, and X is > locally connected if there is a terminal cosheaf in a strong sense, > with that cosheaf providing the sets of connected components. Perhaps > understanding the Stone space view of connected components would cast > light on this missing construction.) > > All the best, > > Steve. > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]