S5-subordination algebras are a natural generalization of de Vries algebras. Recently it was proved that the category SubS5S of S5-subordination algebras and compatible subordination relations between them is equivalent to the category of compact Hausdorff spaces and closed relations. We generalize MacNeille completions of boolean algebras to the setting of S5-subordination algebras, and utilize the relational nature of the morphisms in SubS5S to prove that the MacNeille completion functor establishes an equivalence between SubS5S and its full subcategory consisting of de Vries algebras. We also show that the functor that associates to each S5-subordination algebra the frame of its round ideals establishes a dual equivalence between SubS5S and the category of compact regular frames and preframe homomorphisms. Our results are choice-free and provide further insight into Stonelike dualities for compact Hausdorff spaces with various morphisms between them. In particular, we show how they restrict to the wide subcategories of SubS5S corresponding to continuous relations and continuous functions between compact Hausdorff spaces.
MacNeille completions of subordination algebras / M. Abbadini, G. Bezhanishvili, L. Carai. - In: CAHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES. - ISSN 1245-530X. - 65:2(2024), pp. 151-199.
MacNeille completions of subordination algebras
M. AbbadiniPrimo
;L. CaraiUltimo
2024
Abstract
S5-subordination algebras are a natural generalization of de Vries algebras. Recently it was proved that the category SubS5S of S5-subordination algebras and compatible subordination relations between them is equivalent to the category of compact Hausdorff spaces and closed relations. We generalize MacNeille completions of boolean algebras to the setting of S5-subordination algebras, and utilize the relational nature of the morphisms in SubS5S to prove that the MacNeille completion functor establishes an equivalence between SubS5S and its full subcategory consisting of de Vries algebras. We also show that the functor that associates to each S5-subordination algebra the frame of its round ideals establishes a dual equivalence between SubS5S and the category of compact regular frames and preframe homomorphisms. Our results are choice-free and provide further insight into Stonelike dualities for compact Hausdorff spaces with various morphisms between them. In particular, we show how they restrict to the wide subcategories of SubS5S corresponding to continuous relations and continuous functions between compact Hausdorff spaces.File | Dimensione | Formato | |
---|---|---|---|
ABBADINI-Al-LXV-2.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
482.29 kB
Formato
Adobe PDF
|
482.29 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.