From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1830
Path: news.gmane.org!not-for-mail
From: Marta BUNGE <bunge@scylla.math.mcgill.ca>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: complete atomic Boolean algebras
Date: Tue, 6 Feb 2001 08:21:29 -0500 (EST)
Message-ID: <Pine.SGI.3.96.1010206081257.614459A-100000@scylla.math.mcgill.ca>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Trace: ger.gmane.org 1241018131 677 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 Tue Feb  6 10:19:28 2001 -0400
Return-Path: <cat-dist@mta.ca>
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.11.1/8.11.1) id f16DWAW19851
	for categories-list; Tue, 6 Feb 2001 09:32:10 -0400 (AST)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 12
Original-Lines: 18
Xref: news.gmane.org gmane.science.mathematics.categories:1830
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/1830>


For an "upgraded" version of the correspondence 
see the newly appeared

M.Bunge, J. Funk, M. Jibladze, T. Streicher
"Distribution Algebras and Duality"
Advances in Mathematics 156, 133-155 (2000)

This is done for a bounded topos E--->S, replacing 
S = Coc_S(S,S) by Dist(E) = Coc_S(E,S) and caBA(S)
by "distribution algebras". Identifying E with S gives 
the correspondence in question. For just that one, it 
may be worthwhile to consult directly Mikkelsen's 
thesis combined with Pare's Theorem.

Marta Bunge