Homomorphisms of coalgebras from predicate liftings
From MaRDI portal
Publication:2848944
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
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)