Lax Extensions of Coalgebra Functors

DOI10.1007/978-3-642-32784-1_9MaRDI QIDQ2914681zbMATH OpenOpenAlexFDO

Authors Johannes Marti, Yde Venema

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

bisimilaritycoalgebrapredicate liftingrelation lifting

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Recommendations

• Lax extensions of coalgebra functors and their logic
• Functors for coalgebras
• Lax Invariant in Coalgebra
• scientific article; zbMATH DE number 2125656
• scientific article; zbMATH DE number 62458
• Extensional quotient coalgebras
• Composition of modules for lax functors
• Algebra and Coalgebra in Computer Science
• scientific article; zbMATH DE number 3922927
• scientific article; zbMATH DE number 703206

Cited in

(13)

• Lax extensions of coalgebra functors and their logic
• Predicate and relation lifting for parametric algebraic specifications
• Relation lifting, a survey
• Lax Invariant in Coalgebra
• scientific article; zbMATH DE number 2125656 (Why is no real title available?)
• Proof systems for Moss' coalgebraic logic
• scientific article; zbMATH DE number 1231637 (Why is no real title available?)
• Lax Functors, Cospans, and the Center Construction
• Enhanced coalgebraic bisimulation
• Transitivity and difunctionality of bisimulations
• Lax Liftings and Lax Distributive Laws
• Relational connectors and heterogeneous simulations
• Identity-preserving Lax extensions and where to find them

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2914681)