DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY

• We prove that the opposite of the category of coalgebras for the Vietoris endofunctor on the category of compact Hausdorff spaces is monadic over $\mathsf {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 zero-dimensional setting.

Ämnesord

NATURVETENSKAP  -- Matematik -- Sannolikhetsteori och statistik (hsv//swe)

NATURAL SCIENCES  -- Mathematics -- Probability Theory and Statistics (hsv//eng)

Nyckelord

compact Hausdorff space

stably compact space

Vietoris functor

coalgebra

duality

modal logic

monadicity

infinitary variety

Publikations- och innehållstyp

ref (ämneskategori)

art (ämneskategori)