Homomorphisms of coalgebras from predicate liftings

DOI10.1007/978-3-642-40206-7_11zbMATH Open1394.03082OpenAlexW1886943183MaRDI QIDQ2848944FDOQ2848944

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

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

Mathematics Subject Classification ID

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

Cited In (7)

• Title not available (Why is that?)
• Hennessy-Milner and van Benthem for instantial neighbourhood logic
• Predicate liftings and functor presentations in coalgebraic expression languages
• Predicate liftings versus nabla modalities
• Predicate and relation lifting for parametric algebraic specifications
• Title not available (Why is that?)
• Weak homomorphisms and graph coalgebras

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)