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

Marco Abbadini; Guram Bezhanishvili; Luca Carai

doi:10.1016/j.topol.2023.108641

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

Marco Abbadini, Guram Bezhanishvili, Luca Carai^*

^*Corresponding author for this work

Computer Science

Research output: Contribution to journal › Article › peer-review

45 Downloads (Pure)

Abstract

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 yields 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 KHausR 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.

Original language	English
Article number	108641
Number of pages	22
Journal	Topology and its Applications
Volume	337
Early online date	13 Jul 2023
DOIs	https://doi.org/10.1016/j.topol.2023.108641
Publication status	Published - 1 Sept 2023

Bibliographical note

Acknowledgments:
Marco Abbadini and Luca Carai were supported by the Italian Ministry of University and Research through the PRIN project n. 20173WKCM5 Theory and applications of resource sensitive logics. Luca Carai acknowledges partial support from the Juan de la Cierva-Formación 2021 programme (FJC2021-046977-I) funded by MCIN/AEI/10.13039/501100011033 and by the European Union “NextGenerationEU”/PRTR.

Access to Document

10.1016/j.topol.2023.108641Licence: Creative Commons: Attribution-NonCommercial-NoDerivs (CC BY-NC-ND)

AbbadiniM2023generalizationFinal published version, 509 KBLicence: Creative Commons: Attribution-NonCommercial-NoDerivs (CC BY-NC-ND)

Cite this

@article{3ba93f6598e24e4abe1994fda63a7c43,

title = "A generalization of de Vries duality to closed relations between compact Hausdorff spaces",

abstract = "Stone duality generalizes to an equivalence between the categories StoneR of Stone spaces and closed relations and BAS of boolean algebras and subordination relations. Splitting equivalences in StoneR yields a category that is equivalent to the category KHausR of compact Hausdorff spaces and closed relations. Similarly, splitting equivalences in BAS yields a category that is equivalent to the category De VS of de Vries algebras and compatible subordination relations. Applying the machinery of allegories then yields that KHausR is equivalent to De VS, thus resolving a problem recently raised in the literature.The equivalence between KHausR and De VS further restricts to an equivalence between the category KHausR of compact Hausdorff spaces and continuous functions and the wide subcategory De VF of De VS 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.",

author = "Marco Abbadini and Guram Bezhanishvili and Luca Carai",

note = "Acknowledgments: Marco Abbadini and Luca Carai were supported by the Italian Ministry of University and Research through the PRIN project n. 20173WKCM5 Theory and applications of resource sensitive logics. Luca Carai acknowledges partial support from the Juan de la Cierva-Formaci{\'o}n 2021 programme (FJC2021-046977-I) funded by MCIN/AEI/10.13039/501100011033 and by the European Union “NextGenerationEU”/PRTR.",

year = "2023",

month = sep,

day = "1",

doi = "10.1016/j.topol.2023.108641",

language = "English",

volume = "337",

journal = "Topology and its Applications",

issn = "0166-8641",

publisher = "Elsevier",

}

TY - JOUR

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

AU - Abbadini, Marco

AU - Bezhanishvili, Guram

AU - Carai, Luca

N1 - Acknowledgments: Marco Abbadini and Luca Carai were supported by the Italian Ministry of University and Research through the PRIN project n. 20173WKCM5 Theory and applications of resource sensitive logics. Luca Carai acknowledges partial support from the Juan de la Cierva-Formación 2021 programme (FJC2021-046977-I) funded by MCIN/AEI/10.13039/501100011033 and by the European Union “NextGenerationEU”/PRTR.

PY - 2023/9/1

Y1 - 2023/9/1

N2 - Stone duality generalizes to an equivalence between the categories StoneR of Stone spaces and closed relations and BAS of boolean algebras and subordination relations. Splitting equivalences in StoneR yields a category that is equivalent to the category KHausR of compact Hausdorff spaces and closed relations. Similarly, splitting equivalences in BAS yields a category that is equivalent to the category De VS of de Vries algebras and compatible subordination relations. Applying the machinery of allegories then yields that KHausR is equivalent to De VS, thus resolving a problem recently raised in the literature.The equivalence between KHausR and De VS further restricts to an equivalence between the category KHausR of compact Hausdorff spaces and continuous functions and the wide subcategory De VF of De VS 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.

AB - Stone duality generalizes to an equivalence between the categories StoneR of Stone spaces and closed relations and BAS of boolean algebras and subordination relations. Splitting equivalences in StoneR yields a category that is equivalent to the category KHausR of compact Hausdorff spaces and closed relations. Similarly, splitting equivalences in BAS yields a category that is equivalent to the category De VS of de Vries algebras and compatible subordination relations. Applying the machinery of allegories then yields that KHausR is equivalent to De VS, thus resolving a problem recently raised in the literature.The equivalence between KHausR and De VS further restricts to an equivalence between the category KHausR of compact Hausdorff spaces and continuous functions and the wide subcategory De VF of De VS 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.

U2 - 10.1016/j.topol.2023.108641

DO - 10.1016/j.topol.2023.108641

M3 - Article

SN - 0166-8641

VL - 337

JO - Topology and its Applications

JF - Topology and its Applications

M1 - 108641

ER -

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

Abstract

Bibliographical note

Access to Document

Fingerprint

Cite this