Theorem Stone duality [efr-002D]
Theorem Stone duality [efr-002D]
If X is a Stone space, the set of clopen subsets is a Boolean algebra. Moreover, the functor \mathsf {Stone}^\mathrm {op} \to \mathsf {Bool} which carries a Stone space to its set of clopen subsets is an equivalence of categories.