Saturated Kripke Structures as Vietoris Coalgebras

Heinz-Peter Gumm, Mona Taheri

We show that the category of coalgebras for the compact Vietoris endofunctor $\mathbb{V}$ on the category Top of topological spaces and continuous mappings is isomorphic to the cat…