Boolean Algebras and Stone Duality
Stone Duality for Boolean Algebras
The full categorical duality between Boolean algebras and Boolean spaces: objects correspond, morphisms correspond with reversed direction, and every construction on one side has a counterpart on the other.
Learning objectives
- State the duality at the level of objects and morphisms
- Translate constructions across the duality
- Explain what duality provides beyond representation
The duality
The category of Boolean algebras with homomorphisms is dually equivalent to the category of Boolean spaces with continuous maps. The equivalence sends B to its Stone space B*, and a Boolean space X to its algebra of clopen sets.
Duality means arrows reverse: a homomorphism B → C corresponds to a continuous map C* → B*, obtained by pulling back ultrafilters.
The translation dictionary
| Boolean algebra | Boolean space |
|---|---|
| Element b | Clopen subset Nb |
| 0, 1 | ∅, the whole space |
| ∧, ∨, ′ | ∩, ∪, complement |
| Ultrafilter | Point |
| Atom | Isolated point |
| Filter | Closed subset |
| Ideal | Open subset |
| Quotient B/F | Closed subspace |
| Subalgebra | Quotient space |
| Homomorphism onto | Embedding of spaces |
| Embedding | Continuous surjection |
| Direct product | Disjoint union (topological sum) |
| Finite algebra | Finite discrete space |
| Atomless algebra | Space with no isolated points |
| Complete algebra | Extremally disconnected space |
Subalgebras correspond to quotient spaces and quotients to subspaces. This inversion is the signature of a duality rather than an equivalence, and it is the single most useful thing to remember when applying the dictionary.
What duality delivers beyond representation
Functoriality
Constructions transfer automatically. Having translated an object, its morphisms translate too, so whole diagrams move across.
Topological proofs of algebraic facts
Compactness of the Stone space becomes a tool for proving algebraic statements — this is how many results in Chapter IV are obtained.
A canonical index set
The representation theorem allowed any large enough index set; duality pins it down as the Stone space, uniquely determined.
The concrete payoff in Chapter IV is that Boolean products can be indexed by a Boolean space rather than an arbitrary set, and the topology governs how the factors are glued.
The pattern elsewhere
| Algebraic side | Topological side | Name |
|---|---|---|
| Boolean algebras | Boolean spaces | Stone duality |
| Distributive lattices | Ordered Boolean spaces | Priestley duality |
| Commutative C*-algebras | Compact Hausdorff spaces | Gelfand duality |
| Commutative rings | Affine schemes | Spec |
| Frames / locales | Sober spaces | Point-free topology |
Each row follows the same shape: elements become open or closed sets, prime or maximal objects become points, and morphisms reverse. Stone's is the cleanest instance and historically the first, which is why the pattern is named after it.
Frequently asked questions
Why does the duality reverse arrows?
Because the construction is contravariant: a homomorphism B → C pulls ultrafilters of C back to ultrafilters of B. Preimages, not images, are what respect the structure.
Does the duality hold constructively?
Not in this form — it depends on BPI. Point-free approaches via locales recover a constructive version by replacing points with the frame of opens.
Source. S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, The Millennium Edition — a corrected re-typesetting of Springer-Verlag Graduate Texts in Mathematics 78 (1981). Section IV.4, book pages 152-158.
This page is an original exposition prepared for the KEVOS® knowledge library. It restates and reorganises mathematical results; it is not a reproduction of the source text.