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
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
Lab pages n
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
meet, bounded lattice
complement, Boolean algebra (none)
implication, Heyting algebra
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
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
directed poset, directed join (none)
suplattice, complete lattice
complete Boolean algebra; free semilattice
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
point of a locale, completely prime filter, prime element adjunction between
and Loc Top
irreducible closed subspace, sober space
soberification, - T D space
specialization order, Alexandroff topology, upper set, upper interval topology
Scott topology (none)
over Loc Pos
Sublocales and sites
closed nucleus, closed sublocale, open nucleus, open sublocale, dense sublocale, dense nucleus, double-negation nucleus (none)
is not well-powered Loc
coverage, site, sheaf
localic product ? (none)
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
normal distributive lattice ? (none)
totally disconnected space, totally separated space, ? zero-dimensional space ?
Stone space (none)
* Stone representation theorem for Boolean algebras,
patch topology ? (none)
totally order-separated space, ? ordered Stone space ? *
Ord Sto Top ≅ 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 ?
is complete Reg Loc
is complete ( Comp Loc Tychonoff theorem for locales) localic Stone–Čech compactification
Comp Reg Loc ≅ Comp Haus Top
flat sublocale ?
Manes' Theorem ?
filter (on a set), neighbourhood filter, limit (of a filter) (none)
is monadic Comp Haus Top *
is monadic for Comp Haus Top A a variety of algebras A
projective object (none)
extremally disconnected locale, ? extremally disconnected space (none)
projective compact Hausdorff space ?
proper map (none)
MacNeille cut, ? MacNeille completion
Vietoris space ?
Vietoris topology, ? lower interval topology ?
Vietoris locale ? (none)
Continuous real-valued functions
Complete regularity and
scale, ? really inside containment ?
completely regular locale
normal locale localic
Tychonoff embedding theorem ?
The 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)
and C ( X ) C * ( X )
Gelfand–Kolmogorov theorem ?
fixed maximal ideal ? (none)
real point (of ? ), β X realcompact space, ? pseudocompact space ?
Hewitt realcompactification ? (none)
- C * algebra (none)
Dedekind-complete poset ?
- MI space ?
Representations of rings
A crash course in sheaf theory
trivial bundle, sheaf (on a space), presheaf (on a space)
local homeomorphism (none)
direct image functor, inverse image functor (none)
coherent logic, field (none)
The Pierce spectrum
indecomposable ring ?
Pierce sheaf, ? Pierce representation, ? Pierce spectrum (none)
von Neumann regular ring ?
local ring, exchange ring ?
neat ideal (in a ring) ? (none)
The Zariski spectrum
prime filter (in a ring), radical ideal (in a ring), ? semiprime ring ?
Zariski sheaf ? (none)
Zariski representation, ? local homomorphism (of rings) ?
Gelfand ring ? (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 ? -ideal L (none)
- L local ? -ring F
- L simple ? -ring F
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
finitely continuous functor ? (none)
final functor (none)
cocompletion, ? finitely-presentable object
Profinite sets and algebras
profinite set (none)
algebraic lattice (none)
concrete dualities ?
coseparator, schizophrenic object (none)
Sierpiński topology, Sierpiński space (none)
Compact topological (semi)lattices ?
ordered space, ? topological poset, ? order-Hasudorff space ?
order-normal space ? (none)
continuously distributive lattice ? (none)
completely distributive lattice
interval topology ? (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)
Lawson map ?
continuous semilattice ?
stably continuous poset ?
Lawson topology, ? Lawson semilattice ? (none)
Locally compact locales
locally compact locale (none)
stably locally compact locale ?
injective sober space ? (none)
injective locale ?
exponentiable object, exponentiable locale ? (none)
Revised on September 17, 2011 08:32:29