We generalize the classic Vietoris endofunctor to the category of compact Hausdorff spaces and closed relations. The lift of a closed relation is done by generalizing the construction of the Egli-Milner order. We describe the dual endofunctor on the category of de Vries algebras and subordinations. This is done in several steps, first by generalizing the known endofunctor on the category of boolean algebras and boolean homomorphisms, then lifting it up to S5-subordination algebras, and finally using MacNeille completions to further lift it to de Vries algebras. Among other things, this yields a generalization of Johnstone's pointfreeconstruction of the Vietoris endofunctor to the category of compactregular frames and preframe homomorphisms.
Vietoris Endofunctor for Closed Relations and Its de Vries Dual / M. Abbadini, G. Bezhanishvili, L. Carai. - 64:(2024), pp. 213-250.
Vietoris Endofunctor for Closed Relations and Its de Vries Dual
M. AbbadiniPrimo
;L. CaraiUltimo
2024
Abstract
We generalize the classic Vietoris endofunctor to the category of compact Hausdorff spaces and closed relations. The lift of a closed relation is done by generalizing the construction of the Egli-Milner order. We describe the dual endofunctor on the category of de Vries algebras and subordinations. This is done in several steps, first by generalizing the known endofunctor on the category of boolean algebras and boolean homomorphisms, then lifting it up to S5-subordination algebras, and finally using MacNeille completions to further lift it to de Vries algebras. Among other things, this yields a generalization of Johnstone's pointfreeconstruction of the Vietoris endofunctor to the category of compactregular frames and preframe homomorphisms.File | Dimensione | Formato | |
---|---|---|---|
Vietoris-for-relations-2024-03-13-arXiv-revised.pdf
accesso aperto
Descrizione: Article
Tipologia:
Pre-print (manoscritto inviato all'editore)
Dimensione
476.32 kB
Formato
Adobe PDF
|
476.32 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.