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. Abbadini
Primo
;
L. Carai
Ultimo
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.
Settore MATH-02/B - Geometria
Settore MATH-01/A - Logica matematica
2024
Article (author)
File in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/1101210
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact