Relation lifting, a survey

DOI10.1016/j.jlamp.2015.08.002zbMath1344.68167OpenAlexW2205707477MaRDI QIDQ299182

Jiří Velebil, Alexander Kurz

Publication date: 22 June 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.08.002

zbMATH Keywords

coalgebrabisimulationcoalgebraic logicrelation lifting

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30)

Related Items (13)

Bisimulation as a logical relation ⋮ Convexity via Weak Distributive Laws ⋮ Divergences on monads for relational program logics ⋮ A point-free perspective on lax extensions and predicate liftings ⋮ Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras ⋮ Unnamed Item ⋮ Representable and diagonally representable weakening relation algebras ⋮ Lax Liftings and Lax Distributive Laws ⋮ Lattices do not distribute over powerset ⋮ Unary-determined distributive \(\ell \)-magmas and bunched implication algebras ⋮ Combining semilattices and semimodules ⋮ The Vietoris monad and weak distributive laws ⋮ Extending set functors to generalised metric spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
• Coalgebraic semantics of modal logics: an overview
• Simulations in coalgebra
• A categorical outlook on relational modalities and simulations
• Some algebraic theory for many-valued relation algebras
• Arrow categories
• On powerdomains and modality
• Structural induction and coinduction in a fibrational setting
• Coalgebraic logic
• An algebraic formalization of fuzzy relations
• On coalgebra based on classes
• Fixpoint semantics and simulation
• Universal coalgebra: A theory of systems
• Lax extensions of coalgebra functors and their logic
• Terminal coalgebras in well-founded set theory
• The formal theory of monads
• Continuous domains in logical form
• Positive Fragments of Coalgebraic Logics
• Relation lifting, with an application to the many-valued cover modality
• Completeness for the coalgebraic cover modality
• Similarity Quotients as Final Coalgebras
• Relating coalgebraic notions of bisimulation
• Relation Liftings on Preorders and Posets
• Stable Compactification I
• Metric spaces, generalized logic, and closed categories
• Coinduction up-to in a fibrational setting
• Stably Compact Spaces and Closed Relations
• A final coalgebra theorem
• Generic Trace Semantics via Coinduction
• A general final coalgebra theorem
• Every Standard Construction is Induced by a Pair of Adjoint Functors
• Relational algebras

This page was built for publication: Relation lifting, a survey