nLab
Stone Spaces
Peter Johnstone , Stone Spaces , Cambridge Studies in Advanced Mathematics 3 , Cambridge University Press 1982. xxi+370 pp. MR85f:54002 , reprinted 1986.
(The same author wrote Topos theory 1977 and the Elephant ).
The monograph is ultimately about the Stone representation theorem , but also a standard reference on using locales in place of topological spaces .
Although it is a work of mathematics rather than metamathematics , it shows clearly by example how (usually) results about locales do not require the axiom of choice even when analogous results about topological spaces do. Paul Taylor has somewhat imprecisely written
In [Joh82] the public theorems about topology are marked with an asterisk, although the official meaning of that symbol is a dependence on the axiom of choice.
(ASD I , page 3). Unfortunately for constructive mathematicians , excluded middle is not considered a form of choice.
Contents with links to $n$ Lab pages
Besides the usual prefaces, bibliography, and indexes, there is a historical introduction, and each chapter concludes with notes on historical and metamathematical aspects. Otherwise, each of 7 chapters is divided into 4 sections, which in turn contain paragraphs that deal with essentially one idea each. For the moment, we list (with minimal processing) the definitions from the index in each section. There will also be some summaries of theorems; as in the book itself, an asterisk here indicates dependence on some form of choice beyond excluded middle (more precisely, a proof that cannot be internalised in an arbitrary boolean topos ).
Preliminaries
Lattices
poset
join
semilattice
meet , bounded lattice
distributive lattice
complement , Boolean algebra
(none)
symmetric difference
Boolean ring
implication , Heyting algebra
pseudocomplement
(none)
regular element (in a Heyting algebra)
Ideals and filters
ideal (in a lattice or semilattice), lower set , principal ideal
filter (in a lattice or semilattice), prime ideal (in a lattice), prime filter (in a lattice)
* maximal ideal theorem
maximal ideal
* discrete Stone representation theorem
(none)
Some categorical concepts
category , functor , natural transformation
concrete category , locally small category
posets as categories
adjoint functors , free functor , reflective subcategory , equivalence of categories , opposite category
limit , diagram , small category , colimit , regular monomorphism , complete category , finitely complete category
monad , algebra for a monad , monadic adjunction
variety of algebras
algebraic category , equationally presentable category
filtered category , filtered colimit , finitary functor
Free lattices
directed poset , directed join
(none)
suplattice , complete lattice
complete Boolean algebra ; free semilattice
free suplattice
free lattice
free complete lattice
free distributive lattice
free boolean algebra
free complete boolean algebra
free Heyting algebra
Introduction to locales
Frames and locales
frame , locale , subframe
free frame
point of a locale , completely prime filter , prime element
adjunction between $Loc$ and $Top$
spatial locale
irreducible closed subspace , sober space
soberification , $T_D$ -space
specialization order , Alexandroff topology , upper set , upper interval topology
Scott topology
(none)
enrichment of $Loc$ over $Pos$
Sublocales and sites
(none)
nucleus
sublocale
closed nucleus , closed sublocale , open nucleus , open sublocale , dense sublocale , dense nucleus , double-negation nucleus
(none)
(none)
(none)
(none)
(none)
$Loc$ is not well-powered
coverage , site , sheaf
localic product?
(none)
(none)
Coherent locales
compact element (in a lattice)
coherent locale?
coherent map? (of locales); local Stone representation theorem for distributive lattices
coherent space , prime spectrum ; * spatial Stone representation theorem for distributive lattices
maximal spectrum
normal distributive lattice?
(none)
Stone spaces
totally disconnected space , totally separated space? , zero-dimensional space?
Stone space
(none)
* Stone representation theorem for Boolean algebras, Stone duality
patch topology?
(none)
totally order-separated space? , ordered Stone space?
* $Ord Sto Top \cong Coh Top$
(none)
Compact Hausdorff spaces
Compact regular locales
compact locale , regular locale , well inside containment? , zero-dimensional locale?
(none)
strongly Hausdorff locale?
(none)
totally unordered locale?
$Reg Loc$ is complete
$Comp Loc$ is complete (Tychonoff theorem for locales)
localic Stone–Čech compactification
(none)
* $Comp Reg Loc \cong Comp Haus Top$
flat sublocale?
Manes' Theorem?
ultrafilter
filter (on a set), neighbourhood filter , limit (of a filter)
(none)
* $Comp Haus Top$ is monadic
* $Comp Haus Top A$ is monadic for $A$ a variety of algebras
Gleason's Theorem
projective object
(none)
(none)
(none)
extremally disconnected locale? , extremally disconnected space
(none)
projective compact Hausdorff space?
proper map
(none)
(none)
MacNeille cut? , MacNeille completion
Vietoris locales
Vietoris space?
Vietoris topology? , lower interval topology?
Vietoris locale?
(none)
(none)
(none)
(none)
(none)
Continuous real-valued functions
Complete regularity and Urysohn's Lemma
(none)
(none)
(none)
scale? , really inside containment?
completely regular locale
normal locale
localic Tychonoff embedding theorem?
The Stone–Čech compactification
Stone–Čech compactification
completely regular ideal? , regular ideal?
completely regular filter?
Wallman base , Wallman compactification
cozero set?
(none)
Alexandroff compactification
(none)
cozero element? , Alexandroff algebra?
(none)
(none)
$C(X)$ and $C^*(X)$
(none)
lattice
Zariski topology
Gelfand–Kolmogorov theorem?
fixed maximal ideal?
(none)
real point? (of $\beta X$ ), realcompact space? , pseudocompact space?
Hewitt realcompactification?
(none)
(none)
(none)
(none)
Gelfand duality
(none)
(none)
Stone–Weierstrass theorem
$C^*$ -algebra
(none)
(none)
(none)
(none)
(none)
Stone–Gelfand–Naimark theorem
Dedekind-complete poset?
$\mathit{MI}$ -space?
Representations of rings
A crash course in sheaf theory
(none)
bundle
trivial bundle , sheaf (on a space), presheaf (on a space)
display space
local homeomorphism
(none)
(none)
direct image functor , inverse image functor
(none)
coherent logic , field
(none)
cartesian logic
regular logic
The Pierce spectrum
(none)
indecomposable ring?
Pierce sheaf? , Pierce representation? , Pierce spectrum
(none)
(none)
von Neumann regular ring?
local ring , exchange ring?
neat ideal? (in a ring)
(none)
(none)
The Zariski spectrum
Zariski spectrum
prime filter (in a ring), radical ideal? (in a ring), semiprime ring?
Zariski sheaf?
(none)
Zariski representation? , local homomorphism? (of rings)
nilradical
Gelfand ring?
(none)
(none)
(none)
integral domain , domain spectrum? , domain representable ring?
field spectrum?
(none)
Ordered rings and real rings
ordered ring? , positive cone
concave prime filter? (in a ring), Brumfiel spectrum?
shadow? , local ordered ring?
$L$ -ring?
(none)
$L$ -ideal? (in a ring), $F$ -ring? , Keimel spectrum? , irreducible? $L$ -ideal
(none)
(none)
$L$ -local? $F$ -ring
$L$ -simple? $F$ -ring
formally real field , real-closed field , real point? (of $spec A$ ), strictly positive filter? (in a ring)
real spectrum?
formally real local ring? , ordered local ring?
Profiniteness and duality
Ind-objects and pro-objects
(none)
ind-object
finitely continuous functor?
(none)
final functor
(none)
(none)
cocompletion? , finitely-presentable object
pro-object
Profinite sets and algebras
(none)
(none)
profinite set
(none)
Jónsson–Tarski algebra
congruence
(none)
(none)
(none)
(none)
Stone-type dualities
(none)
(none)
(none)
(none)
(none)
algebraic lattice
(none)
General concrete dualities?
coseparator , schizophrenic object
(none)
(none)
(none)
idempotent adjunction
Sierpiński topology , Sierpiński space
(none)
(none)
(none)
(none)
(none)
Continuous lattices
Compact topological (semi)lattices?
ordered space? , topological poset? , order-Hasudorff space?
order-normal space?
(none)
(none)
continuously distributive lattice?
(none)
(none)
(none)
(none)
completely distributive lattice
interval topology?
(none)
(none)
(none)
(none)
(none)
(none)
Continuous posets and lattices
ideal (in a poset)
way below containment , continuous poset , continuous lattice
algebraic poset?
(none)
filter (in a poset), Scott-open filter?
(none)
(none)
(none)
(none)
Lawson map?
continuous semilattice?
stably continuous poset?
Lawson semilattices
(none)
(none)
Lawson topology? , Lawson semilattice?
(none)
(none)
(none)
(none)
(none)
Locally compact locales
(none)
locally compact locale
(none)
(none)
(none)
stably locally compact locale?
injective sober space?
(none)
injective locale?
exponentiable object , exponentiable locale?
(none)
exponentiable space
Revised on September 17, 2011 08:32:29
by
Toby Bartels
(71.31.209.1)