From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9537 Path: news.gmane.org!.POSTED!not-for-mail From: "George Janelidze" Newsgroups: gmane.science.mathematics.categories Subject: Reflection to 0-dimensional locales Date: Tue, 6 Feb 2018 13:01:22 +0200 Message-ID: References: <5D815D7C26A24888833B8478A002DE64@ACERi3> <26035BC6-EB7E-4622-A376-DB737CCEF2BB@cs.bham.ac.uk> Reply-To: "George Janelidze" NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; format=flowed; charset="UTF-8"; reply-type=original Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1517922853 13797 195.159.176.226 (6 Feb 2018 13:14:13 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 6 Feb 2018 13:14:13 +0000 (UTC) To: Original-X-From: majordomo@mlist.mta.ca Tue Feb 06 14:14:09 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 1ej34Y-0003Bm-II for gsmc-categories@m.gmane.org; Tue, 06 Feb 2018 14:14:06 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:38256) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1ej36P-0000vY-EM; Tue, 06 Feb 2018 09:16:01 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1ej35U-00050M-Iw for categories-list@mlist.mta.ca; Tue, 06 Feb 2018 09:15:04 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9537 Archived-At: Dear Colleagues, Let me repeat from my exchange of massages with Steve Vickers: > As you know, a locale is called 0-dimensional if all its elements are > joins > of complemented ones. By a morphism L--->L' of locales I shall mean a map > L'--->L that preserves all joins and finite meets (as usually). The > inclusion functor > > 0-Dimensional locales--->Locales > > has a left adjoint F, for which > > F(L)=3D{x in L | x is a join of complementary elements}. > > Question: Is F semi-left-exact? > > I mentioned this question several times in past to several people... I am > very interested to know the answer, no matter whether it is YES or NO; if > NO, then I have weaker questions... Almost immediately after writing this I received the following message: "...a sufficient condition for F failing to be semi-left exact is for the coproduct of a connected frame Q and a Boolean frame X to have a complemented element that is not in the image of the inclusion of X. I believe such an example is described in chapter XIII, section 4, pages 260--266 of the book Frames and Locales by Picado and Pultr..." The author is Graham Manuell, a PhD student at the University of Edinburgh who did his MSc in Cate Town. I looked at the book: it will take me a long time (which I don't have now) to check the details, because understanding them will require carefully reading every word of those pages... But if what the book says is correct (= I cannot imagine these good authors to be careless of course!), then what Graham says is certainly correct, in spite of the fact that semi-left-exactness is not mentioned in the book. The example, as the authors say, was found by I. Kriz (I apologize for not using proper accents on r, i, and z). Moreover, most of the "weaker questions" I had in mind, are also answered..= . But I still have a question: Kriz's example is presented as a counter-example to a frame-theoretic counterpart of a purely topological property, but now - thanks to Graham's simple remark - it is also a counter-example to semi-left-exactness, whose topological counterpart also fail (unless we restrict spaces to, say, locally connected, or compact). Is there an easier counter-example? George Janelidze [For admin and other information see: http://www.mta.ca/~cat-dist/ ]