Stone coalgebras

  • Authors:

  • Clemens Kupke;Alexander Kurz;Yde Venema

  • Affiliations:

  • Institute for Logic, Language and Computation, University of Amsterdam, Plantage Muidergracht 24, NL-1018 TV Amsterdam, Netherlands and Centrum voor Wiskunde en Informatica, P.O. Box 94079, NL-109 ...;Department of Computer Science, University of Leicester, University Road, Leicester LE1 7RH, UK;Institute for Logic, Language and Computation, University of Amsterdam, Plantage Muidergracht 24, NL-1018 TV Amsterdam, Netherlands and Centrum voor Wiskunde en Informatica, P.O. Box 94079, NL-109 ...

  • Venue:
  • Theoretical Computer Science - Selected papers of CMCS'03
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

We argue that the category of Stone spaces forms an interesting base category for coalgebras, in particular, if one considers the Vietoris functor as an analogue to the power set functor on the category of sets.We prove that the so-called descriptive general frames, which play a fundamental role in the semantics of modal logics, can be seen as Stone coalgebras in a natural way. This yields a duality between modal algebras and coalgebras for the Vietoris functor.Building on this idea, we introduce the notion of a Vietoris polynomial functor over the category of Stone spaces. For each such functor T we provide an adjunction between T-sorted Boolean algebras with operators and the Stone coalgebras for T. We also identify the subcategory of algebras on which the adjunction restricts to an equivalence and show that the final T-coalgebra is the dual of the initial T-BAO.