From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6367 Path: news.gmane.org!not-for-mail From: Vaughan Pratt Newsgroups: gmane.science.mathematics.categories Subject: Re: Communes paper, schismatic objects Date: Fri, 05 Nov 2010 13:00:27 -0700 Message-ID: References: <3827E0D667BC4DDB9CA346B29AF2DD9B@PC162032150465> Reply-To: Vaughan Pratt NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1289048321 11310 80.91.229.12 (6 Nov 2010 12:58:41 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sat, 6 Nov 2010 12:58:41 +0000 (UTC) To: Categories list Original-X-From: majordomo@mlist.mta.ca Sat Nov 06 13:58:37 2010 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 1PEiLs-0008SQ-CX for gsmc-categories@m.gmane.org; Sat, 06 Nov 2010 13:58:36 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:40317) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1PEiLO-00068V-2l; Sat, 06 Nov 2010 09:58:06 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1PEiLM-0007hC-4u for categories-list@mlist.mta.ca; Sat, 06 Nov 2010 09:58:04 -0300 In-Reply-To: <3827E0D667BC4DDB9CA346B29AF2DD9B@PC162032150465> Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6367 Archived-At: > For example, it seemed unlikely to me that anyone here would confuse > this with the Sierpinski space 2 (which isn't compact Hausdorff after > all). Good point, sorry about that. I tend to picture all these things as embedded in much larger categories and somehow managed to overlook the fence that entitled both you and Peter to recycle Sierpinski's nickname. > I don't understand why you mailed that explanation. Did you think > I was confused? Do I need to clarify what I wrote? Let me answer these at the end, while hastening to offer my apologies now in case I said anything that might have appeared critical of your point that the dualizing object in both CH and Bool has two elements, which is perfectly true. Earlier I had been making a different point, that in general duality interchanges nonisomorphic objects. When I saw your example I seized on it as a perfect illustration of my point. Again I'm sorry if it seemed I was trying to replace your point with mine, I merely wanted to enlarge on it with an additional point. > The notations I and _|_ which you brought into this discussion are > perhaps best understood in the context of *-autonomous categories, > for example Chu(Set, 2). For any category C, nothing to do with *-autonomy, one writes G and K for objects for which C(G,-) and C(-,K) are faithful. In both varieties CH and Bool, G is the (free algebra on one) generator while K is the corresponding cogenerator, and this remains so in Stone (~ Bool^op) as a full subcategory of CH retaining G and K. Since the infinite parts of these categories don't bear on the discussion, for convenience here I'll take all these names to denote only their finite parts, making CH, Stone, and Set equivalent, and dual to Bool. This avoids complications with tensor products (there may be none for all I know but this way is simple). Pedagogically speaking FinSet and FinBool make a great starter kit for duality, while if you're a finite model theorist, who could ask for anything more? In Set etc., G is the unit for the cartesian tensor, justifying calling it I there if not for Bool ("morally" a tensor unit at least). And K is systematically used as the dualizing object, justifying calling it _|_ even in non-self-dual categories. > there is a contravariant hom > hom_{CH}(-, 2): CH^{op} --> Set > which lifts to Bool through the underlying functor Bool --> Set. Yes, and when so lifted it interchanges I and _|_. But being contravariant it also reverses the arrows from I to _|_, which then end up being the arrows from I to _|_ again. In all these categories the arrows from I to _|_ are the elements of _|_. This is my preferred account of the dual identities of I and _|_, which can be traced ultimately to the fact that duality does not preserve either I or _|_, instead it preserves the arrows from I to _|_. So when one says 2 is schizophrenic, ambimorphic, schismatic, or has a double identity, one is really remarking on the invariance of "it's" elements, of which there are two. They reside neither in I nor _|_ but in C(I,_|_), and if one takes one's frame of reference to be those arrows then duality leaves them untouched while interchanging their domain and codomain. What changes with this interchange is not the elements of _|_ but those of I, of which there are respectively 1 and 4. Your point concerned the elements of _|_, mine the elements of I. There is no inconsistency, you were not confused, and you do not need to clarify what you wrote, rather I did, which I hope I've done. Vaughan On 11/4/2010 11:42 PM, Todd Trimble wrote: > Dear Vaughan, > I don't understand why you mailed that explanation. Did you think I was > confused? Do I need to clarify what I wrote? > The two-element set carries a Boolean algebra structure and a compact > Hausdorff structure, and the two structures commute. The two-element set > equipped with those two structures is what I was calling 2 in my prior > post. > You know the relevant material perfectly well, but a suitable reference > for what I was referring to is Johnstone's Stone Spaces. The original > Stone duality takes this very structure 2 as a 'schizophrenic' object, > as discussed on p. 260, example (e). Peter also calls it "2". I didn't > think anyone here would find that notation confusing. > For example, it seemed unlikely to me that anyone here would confuse > this with the Sierpinski space 2 (which isn't compact Hausdorff after all). > The underlying Boolean algebra of this structure is, strangely enough, > conventionally called 2, and there is a contravariant hom > hom_{Bool}(-, 2): Bool^{op} --> Set > which lifts to CH through the underlying functor CH --> Set, according > to the well-known Stone duality (where the lift factors through the full > subcategory of Stone spaces). > The underlying compact Hausdorff space of this structure is again, > strangely enough, also conventionally called 2, and there is a > contravariant hom > hom_{CH}(-, 2): CH^{op} --> Set > which lifts to Bool through the underlying functor Bool --> Set. > The notations I and _|_ which you brought into this discussion are > perhaps best understood in the context of *-autonomous categories, for > example Chu(Set, 2). (That last mention of 2 refers to a 2-element set. > Throughout this discussion, wherever I wrote "2", it refers to a > 2-element set, possibly with extra structure as appropriate.) You seemed > to think I was guilty of confusing I and _|_, but of course I didn't > even mention them, and actually I do understand the difference between > the units I and _|_ for the tensor and par in a *-autonomous category. I > hope you will take my word for that. > Best regards, > Todd > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]