From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1829 Path: news.gmane.org!not-for-mail From: Dusko Pavlovic Newsgroups: gmane.science.mathematics.categories Subject: Re: Complete atomic Boolean algebra: Reference? Date: Mon, 05 Feb 2001 11:24:28 -0800 Message-ID: <3A7EFDEC.72B06928@kestrel.edu> References: <200102051129.MAA23214@kodder.math.uu.nl> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018131 671 80.91.229.2 (29 Apr 2009 15:15:31 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:15:31 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Mon Feb 5 22:32:21 2001 -0400 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f161hHP23726 for categories-list; Mon, 5 Feb 2001 21:43:17 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: Mozilla 4.5 [en] (Win98; U) X-Accept-Language: en,nl Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 11 Original-Lines: 25 Xref: news.gmane.org gmane.science.mathematics.categories:1829 Archived-At: isn't the correspondence of sets and caBa the "discrete part" of the stone duality? the other monad prof wyler mentions appears, i think, in e. manes' thesis, and in his 1976 book "algebraic theories", perhaps as a step towards deriving the monad for compact hausdorff spaces. all the best, -- dusko pavlovic jvoosten@math.uu.nl wrote: > This is of course folklore. I believe > there is a proof (essentially) in > Johnstone's Stone Spaces. > > I have written out a proof for students in > chapter 1 of my "Basic Category Theory" > notes; see > > http://www.math.uu.nl/people/jvoosten/onderwijs.html > > Jaap van Oosten