Similarity Quotients as Final Coalgebras

7 years 10 months ago
Similarity Quotients as Final Coalgebras
We give a general framework connecing a branching time relation on nodes of a transition system to a final coalgebra for a suitable endofunctor. Examples of relations treated by our theory include bisimilarity, similarity, upper and lower similarity for transition systems with divergence, similarity for discrete probabilistic systems, and nested similarity. Our results describe firstly how to characterize the relation in terms of a given final coalgebra, and secondly how to construct a final coalgebra using the relation. Our theory uses a notion of “relator” based on earlier work of Thijs. But whereas a relator must preserve binary composition in Thijs’ framework, it only laxly preserves composition in ours. It is this weaker requirement that allows nested similarity to be an example.
Paul Blain Levy
Added 28 Aug 2011
Updated 28 Aug 2011
Type Journal
Year 2011
Authors Paul Blain Levy
Comments (0)