Stone Duality

A categorical dual equivalence between certain algebraic structures and topological spaces that systematically relates algebraic operations to topological constructs; classically, the duality between Boolean algebras and Stone spaces (zero-dimensional compact Hausdorff spaces).

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.

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.