Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, June 15, 2017 - 3:02:42 PM
Last modification on : Thursday, June 15, 2017 - 3:25:48 PM
Long-term archiving on: : Wednesday, December 13, 2017 - 12:29:59 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Johannes Marti, yde Venema. Lax Extensions of Coalgebra Functors. 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.150-169, ⟨10.1007/978-3-642-32784-1_9⟩. ⟨hal-01539878⟩



Record views


Files downloads