We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > General Topology

Title: A generalization of de Vries duality to closed relations between compact Hausdorff spaces

Abstract: Halmos duality generalizes Stone duality to the category of Stone spaces and continuous relations. This further generalizes to an equivalence (as well as to a dual equivalence) between the category $\mathsf{Stone}^{\mathsf{R}}$ of Stone spaces and closed relations and the category $\mathsf{BA}^\mathsf{S}$ of boolean algebras and subordination relations. We apply the Karoubi envelope construction to this equivalence to obtain that the category $\mathsf{KHaus}^\mathsf{R}$ of compact Hausdorff spaces and closed relations is equivalent to the category $\mathsf{DeV^S}$ of de Vries algebras and compatible subordination relations. This resolves a problem recently raised in the literature.
We prove that the equivalence between $\mathsf{KHaus}^\mathsf{R}$ and $\mathsf{DeV^S}$ further restricts to an equivalence between the category $\mathsf{KHaus}$ of compact Hausdorff spaces and continuous functions and the wide subcategory $\mathsf{DeV^F}$ of $\mathsf{DeV^S}$ whose morphisms satisfy additional conditions. This yields an alternative to de Vries duality. One advantage of our approach is that composition of morphisms is usual relation composition.
Comments: 31 pages
Subjects: General Topology (math.GN); Logic (math.LO)
Cite as: arXiv:2206.05711 [math.GN]
  (or arXiv:2206.05711v1 [math.GN] for this version)

Submission history

From: Luca Carai [view email]
[v1] Sun, 12 Jun 2022 10:08:10 GMT (28kb)

Link back to: arXiv, form interface, contact.