Results 1 -
4 of
4
On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling
, 2004
"... ..."
Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic
, 2007
"... This paper studies coalgebras from the perspective of the finitary observations that can be made of their behaviours. Based on the terminal sequence, notions of finitary behaviours and finitary predicates are introduced. A category Behω(T) of coalgebras with morphisms preserving finitary behaviours ..."
Abstract
-
Cited by 5 (3 self)
- Add to MetaCart
This paper studies coalgebras from the perspective of the finitary observations that can be made of their behaviours. Based on the terminal sequence, notions of finitary behaviours and finitary predicates are introduced. A category Behω(T) of coalgebras with morphisms preserving finitary behaviours is defined. We then investigate definability and compactness for finitary coalgebraic modal logic, show that the final object in Behω(T) generalises the notion of a canonical model in modal logic, and study the topology induced on a coalgebra by the finitary part of the terminal sequence.
Distributivity of Categories of Coalgebras
"... We prove that for any F the category of F -coalgebras is distributive if F preserves preimages, i.e. pullbacks along an injective map, and that the converse is also true whenever has finite products. ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
We prove that for any F the category of F -coalgebras is distributive if F preserves preimages, i.e. pullbacks along an injective map, and that the converse is also true whenever has finite products.
