A contravariant equivalence between the category of Boolean algebras and the category of Stone spaces (zero‑dimensional compact Hausdorff spaces), realized by the ultrafilter/prime‑ideal spectrum and the clopen‑set algebra functors.

Principle

Algebraic operations on a Boolean algebra correspond functorially to topological operations on its Stone space: ultrafilters give points, clopen subsets give algebra elements, and homomorphisms correspond to continuous maps in the opposite direction, producing an equivalence of categories.

Demonstration

Given a Boolean algebra B, its Stone space X(B) is the set of ultrafilters of B with the topology generated by sets of ultrafilters containing a fixed element; conversely, for a Stone space X the Boolean algebra of clopen subsets recovers B. For example, a finite Boolean algebra of 2^n atoms corresponds to a discrete space of n points.

Misapplication

Attempting to apply Stone duality outside its hypotheses (for non‑Boolean lattices or non‑zero‑dimensional spaces) or conflating it with unrelated dualities (Pontryagin or Gelfand duality); assuming it transfers fine structure (metrics, measures) that it does not encode.

Consequence

Stone duality translates algebraic questions about Boolean algebras into topological questions about compact zero‑dimensional spaces and back, enabling constructions and proofs to move between algebra and topology and yielding concrete representations of abstract Boolean algebras.

Reversal

Reversing the correspondence highlights other dualities: replacing Boolean algebras by distributive lattices leads to Priestley duality, and replacing Stone spaces by more structured spaces gives other spectral dualities; the inversion shows the pattern of algebra↔geometry dualities rather than a single unique identification.

Boundary

Valid only for Boolean algebras and Stone spaces (compact Hausdorff, zero‑dimensional); it does not apply verbatim to noncommutative rings, general lattices, or to geometric objects lacking zero‑dimensional compact Hausdorff structure without modification.

Semantic Tension

Tension appears when one confuses Stone duality with analytic dualities (Gelfand) or with dualities for other algebraic categories; another frequent confusion is whether Stone duality preserves additional structure such as order, topology refinements, or measure-theoretic data.

Synthesis

Stone duality is the categorical equivalence sending a Boolean algebra to its ultrafilter space and a Stone space to its algebra of clopen sets, establishing a precise algebra↔topology correspondence that represents Boolean algebras as compact, zero‑dimensional spaces.