Sökning: onr:"swepub:oai:DiVA.org:su-228609" >
DUALITY FOR COALGEB...
Abstract
Ämnesord
Stäng
- 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)
Hitta via bibliotek
Till lärosätets databas