Relation lifting, a survey
DOI10.1016/J.JLAMP.2015.08.002zbMATH Open1344.68167OpenAlexW2205707477MaRDI QIDQ299182FDOQ299182
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
Recommendations
Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Structural induction and coinduction in a fibrational setting
- Universal coalgebra: A theory of systems
- Relating coalgebraic notions of bisimulation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Generic Trace Semantics via Coinduction
- Title not available (Why is that?)
- Metric spaces, generalized logic, and closed categories
- A final coalgebra theorem
- On powerdomains and modality
- Coalgebraic logic
- Fixpoint semantics and simulation
- The formal theory of monads
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
- Relation lifting, with an application to the many-valued cover modality
- Title not available (Why is that?)
- Title not available (Why is that?)
- Every Standard Construction is Induced by a Pair of Adjoint Functors
- Title not available (Why is that?)
- Relational algebras
- A categorical outlook on relational modalities and simulations
- Arrow categories
- An algebraic formalization of fuzzy relations
- On coalgebra based on classes
- Lax extensions of coalgebra functors and their logic
- Terminal coalgebras in well-founded set theory
- Continuous domains in logical form
- Positive Fragments of Coalgebraic Logics
- Completeness for the coalgebraic cover modality
- Similarity Quotients as Final Coalgebras
- Title not available (Why is that?)
- Relation Liftings on Preorders and Posets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Stable Compactification I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Coinduction up-to in a fibrational setting
- Title not available (Why is that?)
- Stably Compact Spaces and Closed Relations
- A general final coalgebra theorem
- Coalgebraic semantics of modal logics: an overview
- Simulations in coalgebra
- Some algebraic theory for many-valued relation algebras
Cited In (17)
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras
- A fibrational tale of operational logical relations: pure, effectful and differential
- Combining semilattices and semimodules
- The Vietoris monad and weak distributive laws
- A point-free perspective on lax extensions and predicate liftings
- Divergences on monads for relational program logics
- Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
- Title not available (Why is that?)
- Maps. I: Relative to a factorisation system
- Representable and diagonally representable weakening relation algebras
- Bisimulation as a logical relation
- Stone duality for relations
- Lax Liftings and Lax Distributive Laws
- Logical predicates in higher-order mathematical operational semantics
- Convexity via Weak Distributive Laws
- Extending set functors to generalised metric spaces
- Lattices do not distribute over powerset
This page was built for publication: Relation lifting, a survey
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q299182)