De Vries powers and proximity Specker algebras

DOI10.1007/S10485-023-09714-3arXiv2201.04423OpenAlexW4366771826MaRDI QIDQ6100552FDOQ6100552

Bruce Olberding, Guram Bezhanishvili, Patrick Morandi, Luca Carai

Publication date: 12 May 2023

Published in: Applied Categorical Structures (Search for Journal in Brave)

Abstract: By de Vries duality [9], the category $sfKHaus$ of compact Hausdorff spaces is dually equivalent to the category $sfDeV$ of de Vries algebras. In [5] an alternate duality for $sfKHaus$ was developed, where de Vries algebras were replaced by proximity Baer-Specker algebras. The functor associating with each compact Hausdorff space a proximity Baer-Specker algebra was described by generalizing the notion of a boolean power of a totally ordered domain to that of a de Vries power. It follows that $sfDeV$ is equivalent to the category $sfPBSp$ of proximity Baer-Specker algebras. The equivalence is obtained by passing through $sfKHaus$, and hence is not choice-free. In this paper we give a direct algebraic proof of this equivalence, which is choice-free. To do so, we give an alternate choice-free description of de Vries powers of a totally ordered domain.

Full work available at URL: https://arxiv.org/abs/2201.04423

zbMATH Keywords

proximityBaer ringintegral domainBoolean powerde Vries algebraSpecker algebra

Mathematics Subject Classification ID

Ordered rings, algebras, modules (06F25) Integral domains (13G05) Proximity structures and generalizations (54E05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• The Normal Completion of the Lattice of Continuous Functions
• Stone duality and Gleason covers through de Vries duality
• Generalized ``Boolean theory of universal algebras. I. Subdirect sums and normal representation theorem
• Generalized ``Boolean theory of universal algebras. II. Identities and subdirect sums of functionally complete algebras
• Functional completeness in the small. Algebraic structure theorems and identities
• Boolean Rings of Projection Maps
• Idempotent generated algebras and Boolean powers of commutative rings
• De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces.
• A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras

Cited In (2)

• A unified approach to Gelfand and de Vries dualities
• Title not available (Why is that?)

This page was built for publication: De Vries powers and proximity Specker algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6100552)