An equivalence between the category of Boolean algebras and the category of Stone spaces (compact, Hausdorff, totally disconnected topological spaces), assigning to each Boolean algebra its space of ultrafilters with the Stone topology and to each Stone space the algebra of its clopen sets.

Principle

Algebraic operations in a Boolean algebra correspond to topological operations on clopen sets; the spectrum-of-ultrafilters construction and the clopen-set algebra are contravariant functors that establish an equivalence, turning algebraic identities into topological statements and vice versa.

Demonstration

Given a Boolean algebra B, form its Stone space S(B) of ultrafilters with the basic clopen sets {U_a : a∈B} where U_a = {u | a∈u}. Conversely, for a Stone space X the algebra Clop(X) of clopen subsets is a Boolean algebra. The natural maps B → Clop(S(B)) and X → S(Clop(X)) are isomorphisms in their respective categories, yielding the representation.

Misapplication

Attempting to apply Stone duality to non-Boolean distributive lattices without adjustment, or presuming the same duality for non-zero-dimensional or non-compact spaces. Confusing Stone duality with dualities that require additional order structure (e.g., Priestley duality for distributive lattices).

Consequence

Stone duality gives a concrete bridge between logic/set-algebra and topology: Boolean algebras are represented as algebras of clopen sets, which underlies classical completeness theorems in propositional logic, provides spectral representations, and supplies topological intuition for algebraic constructions.

Reversal

Reversing perspective, every suitable topological space (Stone space) can be completely encoded by its algebra of clopen sets; this inversion shows how topological separation and compactness translate into algebraic completeness and atomicity properties.

Boundary

Valid precisely for Boolean algebras and Stone spaces (compact, Hausdorff, totally disconnected). For distributive lattices one needs Priestley duality; for general topological spaces the clopen algebra is insufficient. The duality is contravariant and categorical, not merely an isomorphism of underlying sets.

Semantic Tension

Tension arises with adjacent dualities (Priestley, Hochster, Pontryagin in a different domain) where the nature of the algebraic object or topological hypothesis shifts; there is also tension between the logical reading (propositional theories) and the purely algebraic/topological reading.

Synthesis

Stone duality identifies Boolean algebras with Stone spaces by pairing ultrafilter spectra and clopen algebras, turning algebraic relations into topological structure and providing a precise equivalence that grounds logical and topological representations.