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

DOI10.1016/J.TOPOL.2023.108641zbMATH Open1528.54005arXiv2206.05711OpenAlexW4384162059WikidataQ122211826 ScholiaQ122211826MaRDI QIDQ6113249FDOQ6113249

Authors: Marco Abbadini, Guram Bezhanishvili, Luca Carai 

Publication date: 8 August 2023

Published in: Topology and its Applications (Search for Journal in Brave)

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}^{mathsfR}$ of Stone spaces and closed relations and the category $mathsf{BA}^{m}athsfS$ of boolean algebras and subordination relations. We apply the Karoubi envelope construction to this equivalence to obtain that the category $mathsf{KHaus}^{m}athsfR$ of compact Hausdorff spaces and closed relations is equivalent to the category $mathsfDe{V}^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}^{m}athsfR$ and $mathsfDe{V}^S$ further restricts to an equivalence between the category $mathsfKHaus$ of compact Hausdorff spaces and continuous functions and the wide subcategory $mathsfDe{V}^F$ of $mathsfDe{V}^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.

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

Recommendations

• An extension of de Vries duality to completely regular spaces and compactifications
• An extension of de Vries duality to normal spaces and locally compact Hausdorff spaces
• A generalization of the duality compactness theorem
• scientific article; zbMATH DE number 4103730
• A generalization of \(H\)-closed spaces
• A generalization of de Vries duality theorem
• On generalizations of \(H\)-closed spaces
• Compact Hausdorff spaces with relations and Gleason spaces
• A general compactification for Hausdorff spaces
• Generalization of \(L\)-closure spaces

zbMATH Keywords

dualitycompact Hausdorff spacesubordinationclosed relationde Vries algebra

Mathematics Subject Classification ID

Categories of spans/cospans, relations, or partial maps (18B10) Categorical methods in general topology (54B30) Compactness (54D30) Extremally disconnected spaces, (F)-spaces, etc. (54G05) Stone spaces (Boolean spaces) and related structures (06E15) Frames and locales, pointfree topology, Stone duality (18F70) Regular categories, Barr-exact categories (18E08)

Cites Work

• Modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous information systems
• Regular and exact completions
• Information systems for continuous posets
• 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?)
• Cartesian bicategories. I
• Title not available (Why is that?)
• Atomless Parts of Spaces.
• Title not available (Why is that?)
• Continuous domains in logical form
• Title not available (Why is that?)
• Stably compact spaces and closed relations
• Monoidal topology. A categorical approach to order, metric, and topology
• Diagram chasing in ordered categories with involution
• Stone duality and Gleason covers through de Vries duality
• Completeness of \(\dagger\)-categories and the complex numbers
• Categories for Quantum Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A characterisation of the category of compact Hausdorff spaces
• On the relationship between compact regularity and Gentzen's cut rule
• Compact Hausdorff spaces with relations and Gleason spaces
• Irreducible equivalence relations, Gleason spaces, and de Vries duality
• Quasi-semi-homomorphisms and generalized proximity relations between Boolean algebras
• Subdirectly irreducible quasi-modal algebras

Cited In (6)

• General non-commutative locally compact locally Hausdorff Stone duality
• Extensions of dualities and a new approach to the Fedorchuk duality
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categorical extension of dualities: from Stone to de Vries and beyond. II
• Duality theory for enriched Priestley spaces

This page was built for publication: A generalization of de Vries duality to closed relations between compact Hausdorff spaces

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