PP200315: Kupke, Clemens and Kurz, Alexander and Venema, Yde (2003) Stone Coalgebras. [Report]

Text (Full Text (PDF))
PP200315.text.pdf Download (325kB)  Preview 

Text (Full Text (PS))
PP200315.text.ps.gz Download (359kB) 

Text (Abstract)
PP200315.abstract.txt Download (1kB) 
Abstract
In this paper 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 socalled 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 the category of modal algebras and that of coalgebras over 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 the category of Tsorted Boolean algebras with operators and the category of Stone coalgebras over T. Since the unit of this adjunction is an isomorphism, this shows that Coalg(T)^op is a full reflective subcategory of BAO_T. Applications include a general theorem providing final coalgebras in the category of Tcoalgebras.
Item Type:  Report 

Report Nr:  PP200315 
Series Name:  Prepublication (PP) Series 
Year:  2003 
Uncontrolled Keywords:  coalgebra, Stone spaces, Vietoris topology, modal logic, descriptive general frames, Kripke polynomial functors 
Subjects:  Logic 
Date Deposited:  12 Oct 2016 14:36 
Last Modified:  12 Oct 2016 14:36 
URI:  https://eprints.illc.uva.nl/id/eprint/99 
Actions (login required)
View Item 