PP-2019-09: Bezhanishvili, Nick and de Groot, Jim and Venema, Yde (2019) Coalgebraic geometric logic. [Pre-print]
Preview |
Text
main.pdf Download (582kB) | Preview |
Abstract
Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor T on some full subcategory of the category Top of topological spaces and continuous functions. We compare the notions of modal equivalence, behavioural equivalence and bisimulation on the resulting class of models, and we provide a final object for the corresponding category. Furthermore, we specify a method of lifting an endofunctor on Set, accompanied by a collection of predicate liftings, to an endofunctor on the category of topological spaces.
| Item Type: | Pre-print |
|---|---|
| Report Nr: | PP-2019-09 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2019 |
| Subjects: | Computation Logic Mathematics |
| Depositing User: | Nick Bezhanishvili |
| Date Deposited: | 23 Mar 2019 22:58 |
| Last Modified: | 23 Mar 2019 22:58 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1669 |
Actions (login required)
 |
View Item |
