Stone duality and Gleason covers through de Vries duality
A de Vries algebra is a pair \((B,\prec)\), where \(B\) is a complete Boolean algebra and \(\prec\) is a binary relation on \(B\) satisfying certain axioms that imitate the defining axioms of a proximity on a set. The motivating example of a de Vries algebra originates in a proximity space \((X,\prec)\): the complete Boolean algebra of regular open sets of \(X\) in the topology induced by \(\prec\), equipped with the relation \(\prec\), is a de Vries algebra. Given two de Vries algebras \((A,\prec)\) and \((B,\prec)\), a mapping \(f:A\rightarrow B\) is a de Vries morphism if (1) \(f(0)=0\), (2) \(f(a\wedge b)=f(a)\wedge f(b)\), (3) \(a\prec b\Rightarrow \neg f(\neg a)\prec f(b)\), and (4) \(f(a)=\bigvee\{f(b)\mid b\prec a\}\). De Vries algebras and de Vries morphisms form a category (a word of caution: the composition of de Vries morphisms is not the usual composition of functions since this composition fails to satisfy condition (4) above). De Vries duality establishes a dual equivalence between the category of de Vries algebras and de Vries morphisms and the category of compact Hausdorff spaces and continuous maps. In the present paper the author shows how Stone duality can be obtained from de Vries duality as a particular case. For that he introduces zero-dimensional de Vries algebras and shows that the category of zero-dimensional de Vries algebras is dually equivalent to the category of Stone spaces. He also introduces the concept of an extremally disconnected de Vries algebra and shows that the category of extremally disconnected de Vries algebras is equivalent to the category of complete Boolean algebras and is dually equivalent to the category of extremally disconnected compact Hausdorff spaces. As a consequence, a simple construction of the Gleason cover of a compact Hausdorff space is presented by means of de Vries duality. Finally, the insight that Stone duality provides a better understanding of de Vries duality is discussed.
- Irreducible equivalence relations, Gleason spaces, and de Vries duality
- Categorical extension of dualities: from Stone to de Vries and beyond. I
- De Vries algebras and compact regular frames
- A generalization of de Vries duality theorem
- A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I
- A Note on Projective Resolutions
- A proximity approach to some region-based theories of space
- Boolean \(\delta\)-algebras and quasiopen mappings
- scientific article; zbMATH DE number 3164639 (Why is no real title available?)
- scientific article; zbMATH DE number 5117074 (Why is no real title available?)
- scientific article; zbMATH DE number 5117075 (Why is no real title available?)
- scientific article; zbMATH DE number 3810476 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 192924 (Why is no real title available?)
- scientific article; zbMATH DE number 3501559 (Why is no real title available?)
- scientific article; zbMATH DE number 3581219 (Why is no real title available?)
- scientific article; zbMATH DE number 3304085 (Why is no real title available?)
- scientific article; zbMATH DE number 3328048 (Why is no real title available?)
- scientific article; zbMATH DE number 3027977 (Why is no real title available?)
- scientific article; zbMATH DE number 3071567 (Why is no real title available?)
- scientific article; zbMATH DE number 3074656 (Why is no real title available?)
- Local proximity spaces
- On clusters in proximity spaces
- Projective topological spaces
- Some generalizations of Fedorchuk duality theorem-I
- The Theory of Representation for Boolean Algebras
- Zero-dimensional proximities and zero-dimensional compactifications
- A generalization of de Vries duality theorem
- De Vries algebras and compact regular frames
- Compact Hausdorff spaces with relations and Gleason spaces
- Irreducible equivalence relations, Gleason spaces, and de Vries duality
- Proximity frames and regularization.
- Stone type representations and dualities by power set ring
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
- Categorical extension of dualities: from Stone to de Vries and beyond. I
- Extensions of dualities and a new approach to the Fedorchuk duality
- A strict implication calculus for compact Hausdorff spaces
- De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces.
- Modal operators on compact regular frames and de Vries algebras.
- Lattice subordinations and Priestley duality.
- Changing a Semantics: Opportunism or Courage?
- Active lattices determine \(\mathrm{AW}^\ast\)-algebras
- scientific article; zbMATH DE number 7465766 (Why is no real title available?)
- A variety of algebras closely related to subordination algebras
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
- Orthogeometries and AW*-algebras
- A unified approach to Gelfand and de Vries dualities
- De Vries powers and proximity Specker algebras
- Subordinations on bounded distributive lattices
- A generalization of de Vries duality to closed relations between compact Hausdorff spaces
- scientific article; zbMATH DE number 7731856 (Why is no real title available?)
- An extension of de Vries duality to completely regular spaces and compactifications
- McKinsey-Tarski algebras and raney extensions
- The Funayama envelope as the TD-hull of a frame
- A calculus for modal compact Hausdorff spaces
- Vietoris endofunctor for closed relations and its de Vries dual
This page was built for publication: Stone duality and Gleason covers through de Vries duality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q960844)
