Lax Extensions of Coalgebra Functors

Abstract : We discuss the use of relation lifting in the theory of set-based coalgebra. On the one hand we prove that the neighborhood functor does not extend to a relation lifting of which the associated notion of bisimilarity coincides with behavorial equivalence.On the other hand we argue that relation liftings may be of use for many other functors that do not preserve weak pullbacks, such as the monotone neighborhood functor. We prove that for any relation lifting L that is a lax extension extending the coalgebra functor T and preserving diagonal relations, L-bisimilarity captures behavioral equivalence. We also show that if T is finitary, it admits such an extension iff there is a separating set of finitary monotone predicate liftings for T.
Type de document :
Communication dans un congrès
Dirk Pattinson; Lutz Schröder. 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. Springer, Lecture Notes in Computer Science, LNCS-7399, pp.150-169, 2012, Coalgebraic Methods in Computer Science. 〈10.1007/978-3-642-32784-1_9〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01539878
Contributeur : Hal Ifip <>
Soumis le : jeudi 15 juin 2017 - 15:02:42
Dernière modification le : jeudi 15 juin 2017 - 15:25:48
Document(s) archivé(s) le : mercredi 13 décembre 2017 - 12:29:59

Fichier

978-3-642-32784-1_9_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Johannes Marti, Yde Venema. Lax Extensions of Coalgebra Functors. Dirk Pattinson; Lutz Schröder. 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. Springer, Lecture Notes in Computer Science, LNCS-7399, pp.150-169, 2012, Coalgebraic Methods in Computer Science. 〈10.1007/978-3-642-32784-1_9〉. 〈hal-01539878〉

Partager

Métriques

Consultations de la notice

40

Téléchargements de fichiers

24