Lax Extensions of Coalgebra Functors

DOI10.1007/978-3-642-32784-1_9zbMath1328.03060OpenAlexW26488867MaRDI QIDQ2914681

Yde Venema, Johannes Marti

Publication date: 20 September 2012

Published in: Coalgebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32784-1_9

zbMATH Keywords

coalgebrarelation liftingbisimilaritypredicate lifting

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Related Items (4)

Proof systems for Moss' coalgebraic logic ⋮ Enhanced coalgebraic bisimulation ⋮ Transitivity and Difunctionality of Bisimulations ⋮ Lax extensions of coalgebra functors and their logic

This page was built for publication: Lax Extensions of Coalgebra Functors