Coalgebra morphisms subsume open maps

Coalgebra morphisms subsume open maps

Electronic Notes in Theoretical Computer Science www.elsevier.com/locate/entcs Coalgebra morphisms subsume open maps Slawomir Lasota Abstract We rela...

28KB Sizes 3 Downloads 118 Views

Electronic Notes in Theoretical Computer Science www.elsevier.com/locate/entcs

Coalgebra morphisms subsume open maps Slawomir Lasota Abstract We relate two abstract notions of bisimulation, induced by open maps and by coalgebras morphisms, respectively. We show that open maps correspond to coalgebra morphisms for a suitable chosen endofunctor in a category of many sorted sets. This demonstrates that the notion of open-maps bisimilarity is of essentially coalgebraic nature. We find moreover characterizations of subcategories of coalgebras corresponding to some relevant model categories: category of presheaves is isomorphic to the subcategory of consistent coalgebras with lax cohomomorphisms; a suitably chosen subcategory of many sorted algebras is equivalent to the full subcategory of presheaves preserving finite products.

c Elsevier Ltd 1571-0661/$ – see front matter  10.1016/S1571-0661(05)01431-3