Relation lifting, with an application to the many-valued cover modality

DOI10.2168/LMCS-9(4:8)2013zbMath1287.18008arXiv1307.4682OpenAlexW2027667533MaRDI QIDQ2856480

Jiří Velebil, Daniela Petrişan, Marta Bílková, Alexander Kurz

Publication date: 29 October 2013

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

Full work available at URL: https://arxiv.org/abs/1307.4682

zbMATH Keywords

modal logiccoalgebramoduleenriched categoriesrelation liftingcover modalitycommutative quantaleexact square

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Quantales (06F07) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (5)

Logical relations and parametricity -- a Reynolds programme for category theory and programming languages ⋮ Relation lifting, a survey ⋮ A quantified coalgebraic van Benthem theorem ⋮ Unnamed Item ⋮ Extending set functors to generalised metric spaces

This page was built for publication: Relation lifting, with an application to the many-valued cover modality