Duality for coalgebras for Vietoris and monadicity

Abstract

We prove that the opposite of the category of coalgebras for the Vietoris endofunctor on the category of compact Hausdorff spaces is monadic over Set. We deliver an analogous result for the upper, lower and convex Vietoris endofunctors acting on the category of stably compact spaces. We provide axiomatizations of the associated (infinitary) varieties. This can be seen as a version of Jonsson-Tarski duality for modal algebras beyond the 0-dimensional setting.

arXiv comment29 pages. Comments are welcome!

References in corpus (6)

• Stone duality above dimension zero: Axiomatising the algebraic theory of C(X)
• Positive fragments of coalgebraic logics
• Limits in Categories of Vietoris Coalgebras
• On the axiomatisability of the dual of compact ordered spaces
• Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces
• The dual of compact ordered spaces is a variety