of so-called Stone spaces. On the side of DLat₀₁, the restriction yields the subcategory Bool of Boolean algebras. Thus one obtains Stone's representation theorem for Boolean algebras.
* Stone's representation for distributive lattices can be extended via an equivalence of coherent spaces and Priestley spaces