From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6492 Path: news.gmane.org!not-for-mail From: "George Janelidze" Newsgroups: gmane.science.mathematics.categories Subject: Re: Stone duality for generalized Boolean algebras Date: Mon, 24 Jan 2011 23:15:17 +0200 Message-ID: References: Reply-To: "George Janelidze" NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain;format=flowed; charset="iso-8859-1";reply-type=original Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1296000922 18930 80.91.229.12 (26 Jan 2011 00:15:22 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 26 Jan 2011 00:15:22 +0000 (UTC) To: "Fred E.J. Linton" , Original-X-From: majordomo@mlist.mta.ca Wed Jan 26 01:15:17 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.114]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Pht2Z-0001kU-Bs for gsmc-categories@m.gmane.org; Wed, 26 Jan 2011 01:15:15 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:35225) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1Pht25-00079X-Bn; Tue, 25 Jan 2011 20:14:45 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Pht1k-0003iV-Pq for categories-list@mlist.mta.ca; Tue, 25 Jan 2011 20:14:25 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6492 Archived-At: Dear Fred, Please forgive me, but let us distinguish between serious questions and trivialities: Andrej Bauer asked: "...How exactly does this extend to generalized Boolean algebras?..." And the answer is trivial (without quotation marks): The category GBA of what he called generalized Boolean algebras is dually equivalent to the category 1\STONE of pointed Stone spaces. This follows from Stone duality (since GBA is equivalent to BA/2), but also extends it: just as BA is a non-full subcategory of GBA, STONE can be considered as a non-full subcategory of 1\STONE via the functor that adds base points. And this way the dual equivalence between GBA and 1\STONE indeed extends the Stone duality. Although your first message about BA/2 was written after mine, I am sure you know these things (you probably knew them before I knew the definition of a category...) Anyway, what I called the trivial answer is the full answer and we don't need the Gelfand duality to motivate or explain it (even though the analogy is correct). Thinking further about partial maps simply means not thinking categorically: look at the finite sets (or just sets) - would any categorically thinking mathematician say that the category of pointed sets needs further description as the category of finite sets and partial maps? On the other hand, the "partial-map-version" of pointed Stone spaces is a serious question even though it would not do any good to the question above. Well, maybe the answer is known, but not to me. Naively, I don't think it is as hopeless as you say. The reason is: Let us take a pointed Stone space (X,x), and try to recover it from X-{x} (I write "-" for the set-theoretic difference since I used "\" for something else). Let us think about this in terms of ultrafilter convergence. Apart from the principal ultrafilter generated by {x} every ultrafilter on X is of the form T(i)(U), where T is the ultrafilter monad, i the inclusion map from X-{x} to X, and U an ultrafilter on X-{x}. Knowing the topology of X-{x}, I can recover the topology on X by requiring T(i)(U) to converge to the same point in X-{x} as U and to converge to x if U does not converge to any point. This indeed recovers X since every ultrafilter on a compact Hausdorff space converges to a unique point (note also that T(i) is injective since i is a split mono in SETS whenever X-{x} is non-empty). I hope somebody on this mailing list will tell us that what I am saying is a part of a well-known story and will give a reference, or am I missing something? What do you say? Greetings - George -------------------------------------------------- From: "Fred E.J. Linton" Sent: Sunday, January 23, 2011 5:38 PM To: Cc: "Jeff Egger" Subject: categories: Re: Stone duality for generalized Boolean algebras > On Sat, 22 Jan 2011 05:11:26 PM EST, Jeff Egger > responded > to Andrej Bauer as follows: > >> There is an analogous problem when trying to "extend" Gelfand duality to >> locally compact Hausdorff spaces and (not necessarily unital) >> C*-algebras: >> everything works fine on the object level, but there are many (not >> necessarily unital) *-homomorphisms C_0(1) --> C_0(2), but only one >> continuous map 2 --> 1. The standard solution, IIRC, is to restrict the >> class of *-homomorphisms to those which "preserve the approximate > unit". ... > > Another approach more closely resembles the "solution" that George > Janelidze and I have pointed out for the Boolean problem. To sketch it, > let me temporarily borrow the old Gelfand-Naimark terminology "normed > ring" > for commutative C*-algebras with unit, and use "normed rng" for their > not-necessarily-unital counterparts. > > As in the Boolean setting, then, "normed rngs" is, to within equivalence, > augmented "normed rings" (that is, the slice category "normed rings"|'C', > where C is the "coefficient ring" -- probably the real or the complex > field in most applications), whence as opposite to "normed rngs" one > immediately deduces the category of pointed compact Hausdorff spaces > (and *all* continuous base-point-preserving functions). > > And, as there also, while the complement of the base point in such a > space may be locally compact, the passage to that complement is, again, > far from functorial -- unless one is willing either to restrict one's > attention, among maps of pointed compact spaces, to those that send > *only* the base point to the base point, or to extend one's attention to > certain only partially defined functions as maps of locally compact > spaces. > > Cheers, -- Fred > > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]