Categorical extension of dualities: from Stone to de Vries and beyond. II

DOI10.1016/J.TOPOL.2023.108712MaRDI QIDQ6182713zbMATH OpenOpenAlexFDO

Authors Georgi D. Dimov, Elza Ivanova-Dimova, Walter Tholen

Publication date 21 December 2023

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

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

zbMATH Keywords

(complete) Boolean algebra(locally) compact Hausdorff space(normal) contact algebraClanclustercovering classde Vries dualityirreducible maplocal contact algebraperfect mapprojective coverregular closed/open setStone dualityStone spaceultrafilter

Mathematics Subject Classification ID

Logical aspects of Boolean algebras (03G05) Stone spaces (Boolean spaces) and related structures (06E15) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Local compactness, (sigma)-compactness (54D45) Proximity structures and generalizations (54E05) Extremally disconnected spaces, (F)-spaces, etc. (54G05)

Abstract: Under a general categorical procedure for the extension of dual equivalences as presented in this paper's predecessor, a new algebraically defined category is established that is dually equivalent to the category $$ of locally compact Hausdorff spaces and continuous maps, with the dual equivalence extending a Stone-type duality for the category of extremally disconnected locally compact Hausdorff spaces and continuous maps. The new category is then shown to be isomorphic to the category $$ of complete local contact algebras and suitable morphisms. Thereby, a new proof is presented for the equivalence $$ that was obtained by the first author more than a decade ago. Unlike the morphisms of $$, the morphisms of the new category and their composition law are very natural and easy to handle.

Review text

The categorical extension theorem of this paper's predecessor [\textit{G. Dimov} et al., Appl. Categ. Struct. 30, No. 2, 287--329 (2022; Zbl 1492.54013)] provides a natural construction for an extension of a dual equivalence \(\mathcal{A}^{\mathrm{op}} \longleftrightarrow \mathcal{X}\), depending on a given \(\mathcal{X}\)-covering class. Extending a dual equivalence between complete lz-algebras and extremally disconnected locally compact Hausdorff spaces, the authors now construct a new algebraically defined category \(\textbf{DBoo}/\sim\) dually equivalent to the category \(\textbf{LKHaus}\) of locally compact Hausdorff spaces and continuous maps. \(\textbf{DBoo}/\sim\) is then shown to be isomorphic to the category \(\textbf{CLCA}\) of complete local contact algebras, which is already known to be dually equivalent to \(\textbf{LKHaus}\) from [\textit{G. D. Dimov}, Acta Math. Hung. 129, No. 4, 314--349 (2010; Zbl 1240.54088)]. While \(\textbf{DBoo}/\sim\) and \(\textbf{CLCA}\) have the same objects, unlike the \(\textbf{CLCA}\)-morphisms, the morphisms of \(\textbf{DBoo}/\sim\) can be naturally described as equivalence classes of Boolean homomorphisms respecting the contact relation and boundedness, composed by ordinary map composition.

Recommendations

• Categorical extension of dualities: from Stone to de Vries and beyond. I
• A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I
• A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. II
• A generalization of de Vries duality theorem
• A generalization of de Vries duality to closed relations between compact Hausdorff spaces

Cites work

• A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I
• A proximity approach to some region-based theories of space
• Abstract and concrete categories: the joy of cats
• Boolean \(\delta\)-algebras and quasiopen mappings
• Categorical extension of dualities: from Stone to de Vries and beyond. I
• Extensions of dualities and a new approach to the Fedorchuk duality
• Extensions of the Stone duality to the category of Boolean spaces and continuous maps
• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 3768559 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 192924 (Why is no real title available?)
• scientific article; zbMATH DE number 3457750 (Why is no real title available?)
• scientific article; zbMATH DE number 3532190 (Why is no real title available?)
• scientific article; zbMATH DE number 3446957 (Why is no real title available?)
• scientific article; zbMATH DE number 3328048 (Why is no real title available?)
• scientific article; zbMATH DE number 3190883 (Why is no real title available?)
• Local proximity spaces
• Projective topological spaces
• Proximity structures and grills
• Region-based theory of discrete spaces: A proximity approach
• Region-based topology
• The absolute of a topological space and its application to Abelian \(l\)-groups
• Yet another duality theorem for locally compact spaces

Cited in

(2)

• Extensions of dualities and a new approach to the Fedorchuk duality
• scientific article; zbMATH DE number 65670 (Why is no real title available?)

This page was built for publication: Categorical extension of dualities: from Stone to de Vries and beyond. II

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