We introduce an endofunctor H on the category bat of bounded archimedean l-algebras and show that there is a dual adjunction between the category Alg(H) of algebras for H and the category Coalg(V) of coalgebras for the Vietoris endofunctor V on the category of compact Hausdorff spaces. We prove that Gelfand duality lifts to a dual equivalence between Coalg(V) and the full reflective subcategory Alg(u)(H) of Alg(H). We provide an alternate view of Alg(u)(H) by introducing an endofunctor Hu on the full reflective subcategory of bat consisting of uniformly complete objects of bat and showing that Alg(Hu) is isomorphic to Alg(u)(H). On the one hand, these results generalize those of [1,19] for the category of coalgebras of the Vietoris endofunctor on the category of Stone spaces. On the other hand, they provide an alternate, more categorical proof of a recent result of [6].
The Vietoris functor and modal operators on rings of continuous functions / G. Bezhanishvili, L. Carai, P.J. Morandi. - In: ANNALS OF PURE AND APPLIED LOGIC. - ISSN 0168-0072. - 173:1(2022), pp. 1-23. [10.1016/j.apal.2021.103029]
The Vietoris functor and modal operators on rings of continuous functions
L. CaraiSecondo
;
2022
Abstract
We introduce an endofunctor H on the category bat of bounded archimedean l-algebras and show that there is a dual adjunction between the category Alg(H) of algebras for H and the category Coalg(V) of coalgebras for the Vietoris endofunctor V on the category of compact Hausdorff spaces. We prove that Gelfand duality lifts to a dual equivalence between Coalg(V) and the full reflective subcategory Alg(u)(H) of Alg(H). We provide an alternate view of Alg(u)(H) by introducing an endofunctor Hu on the full reflective subcategory of bat consisting of uniformly complete objects of bat and showing that Alg(Hu) is isomorphic to Alg(u)(H). On the one hand, these results generalize those of [1,19] for the category of coalgebras of the Vietoris endofunctor on the category of Stone spaces. On the other hand, they provide an alternate, more categorical proof of a recent result of [6].File | Dimensione | Formato | |
---|---|---|---|
H-Functor-2021-07-28-final.pdf
accesso aperto
Descrizione: Article - pre-print
Tipologia:
Pre-print (manoscritto inviato all'editore)
Dimensione
658.24 kB
Formato
Adobe PDF
|
658.24 kB | Adobe PDF | Visualizza/Apri |
1-s2.0-S0168007221000877-main.pdf
accesso riservato
Descrizione: Article
Tipologia:
Publisher's version/PDF
Dimensione
512.29 kB
Formato
Adobe PDF
|
512.29 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.