Homomorphisms of coalgebras from predicate liftings

DOI10.1007/978-3-642-40206-7_11MaRDI QIDQ2848944zbMATHOpenAlexFDO

Authors Sebastian Enqvist

Publication date 13 September 2013

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40206-7_11

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categories of sets, characterizations (18B05) Categorical logic, topoi (03G30)

Recommendations

• On a categorical framework for coalgebraic modal logic
• Relation lifting, a survey
• Lax extensions of coalgebra functors and their logic
• Algebra and Coalgebra in Computer Science
• Predicate and relation lifting for parametric algebraic specifications

Cited in

(7)

• Hennessy-Milner and van Benthem for instantial neighbourhood logic
• scientific article; zbMATH DE number 7471679 (Why is no real title available?)
• Weak homomorphisms and graph coalgebras
• Predicate liftings versus nabla modalities
• Predicate liftings and functor presentations in coalgebraic expression languages
• Predicate and relation lifting for parametric algebraic specifications
• scientific article; zbMATH DE number 1522654 (Why is no real title available?)

This page was built for publication: Homomorphisms of coalgebras from predicate liftings

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