Search

Stone duality generalizes to an equivalence between the categories Stone R of Stone spaces and closed relations and BA S of boolean algebras and subordination relations. Splitting equivalences in Stone R yields a category that is equivalent to the category KHaus R of compact Hausdorff spaces and closed relations. Similarly, splitting equivalences in BA S yields a category that is equivalent to the category De V S of de Vries algebras and compatible subordination relations. Applying the machinery of allegories then gives that KHaus R is equivalent to De V S , thus resolving a problem recently raised in the literature. The equivalence between KHaus R and De V S further restricts to an equivalence between the category KHaus of compact Hausdorff spaces and continuous functions and the wide subcategory De V F of De V S whose morphisms satisfy additional conditions. This yields an alternative to de Vries duality. One advantage of this approach is that composition of morphisms is usual relation composition. [ABSTRACT FROM AUTHOR]

By Isbell duality, each compact regular frame L is isomorphic to the frame of opens of a compact Hausdorff space X. In this note we study the spectrum Spec(L) of prime filters of a compact regular frame L. We prove that X is realized as the minimum of Spec(L) and the Gleason cover of X as the maximum of Spec(L). We also characterize zero-dimensional, extremally disconnected, and scattered compact regular frames by means of Spec(L). [ABSTRACT FROM AUTHOR]

We generalize the Boolean power construction to the setting of compact Hausdorff spaces. This is done by replacing Boolean algebras with de Vries algebras (complete Boolean algebras enriched with proximity) and Stone duality with de Vries duality. For a compact Hausdorff space X and a totally ordered algebra A , we introduce the concept of a finitely valued normal function f : X → A . We show that the operations of A lift to the set FN ( X , A ) of all finitely valued normal functions, and that there is a canonical proximity relation ≺ on FN ( X , A ) . This gives rise to the de Vries power construction, which when restricted to Stone spaces, yields the Boolean power construction. We prove that de Vries powers of a totally ordered integral domain A are axiomatized as proximity Baer Specker A -algebras; that is, the pairs ( S , ≺ ) , where S is a torsion-free A -algebra generated by its idempotents which is a Baer ring, and ≺ is a proximity relation on S . We introduce the category of proximity Baer Specker A -algebras and proximity morphisms between them, and prove that this category is dually equivalent to the category of compact Hausdorff spaces and continuous maps. This provides an analogue of de Vries duality for proximity Baer Specker A -algebras. [ABSTRACT FROM AUTHOR]