* Re: complete atomic Boolean algebras
@ 2001-02-06 13:21 Marta BUNGE
0 siblings, 0 replies; only message in thread
From: Marta BUNGE @ 2001-02-06 13:21 UTC (permalink / raw)
To: categories
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2001-02-06 13:21 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2001-02-06 13:21 complete atomic Boolean algebras Marta BUNGE
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).