##  [Stone Duality](/stone-duality) 

  ##  [Stone Duality](https://mathlogic.quantumdictionary.io/stone-duality-0) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definition

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).

 

 

 

 

 





 

 



 ##  [Stone Duality](https://puremath.quantumdictionary.io/stone-duality-1) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics & Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Definition

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.

 

 

 

 

 





 

 



 ##  [Stone Duality](https://algebra.quantumdictionary.io/stone-duality-2) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Definition

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.