DeepAI AI Chat
Log In Sign Up

Saturated Kripke Structures as Vietoris Coalgebras

by   Heinz-Peter Gumm, et al.

We show that the category of coalgebras for the compact Vietoris endofunctor 𝕍 on the category Top of topological spaces and continuous mappings is isomorphic to the category of all modally saturated Kripke structures. Extending a result of Bezhanishvili, Fontaine and Venema, we also show that Vietoris subcoalgebras as well as bisimulations admit topological closure and that the category of Vietoris coalgebras has a terminal object.


page 1

page 2

page 3

page 4


A note on the category of c-spaces

We prove that the category of c-spaces with continuous maps is not carte...

Codensity Lifting of Monads and its Dual

We introduce a method to lift monads on the base category of a fibration...

Factorizing the Top-Loc adjunction through positive topologies

We characterize the category of Sambin's positive topologies as a fibrat...

Coherence for braided distributivity

In category-theoretic models for the anyon systems proposed for topologi...

Taking Cognition Seriously: A generalised physics of cognition

The study of complex systems through the lens of category theory consist...

Algorithmic Counting of Zero-Dimensional Finite Topological Spaces With Respect to the Covering Dimension

Taking the covering dimension dim as notion for the dimension of a topol...

On bifibrations of model categories

In this article, we develop a notion of Quillen bifibration which combin...