The following pages link to Relation lifting, a survey (Q299182):
Displaying 22 items.
- A categorical outlook on relational modalities and simulations (Q764263) (← links)
- Composition of different-type relations via the Kleisli category for the continuation monad (Q1617810) (← links)
- Maps. I: Relative to a factorisation system (Q1892302) (← links)
- Lattices do not distribute over powerset (Q2200477) (← links)
- Combining semilattices and semimodules (Q2233397) (← links)
- The Vietoris monad and weak distributive laws (Q2307527) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras (Q2695343) (← links)
- Predicate and relation lifting for parametric algebraic specifications (Q2847822) (← links)
- Relation lifting, with an application to the many-valued cover modality (Q2856480) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- Bisimulation as a logical relation (Q5058364) (← links)
- Convexity via Weak Distributive Laws (Q5060194) (← links)
- Fibrational bisimulations and quantitative reasoning: Extended version (Q5158369) (← links)
- (Q5875411) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- A point-free perspective on lax extensions and predicate liftings (Q6149965) (← links)
- Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras (Q6151561) (← links)
- Lax Liftings and Lax Distributive Laws (Q6190599) (← links)
- A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)
- Stone duality for relations (Q6612781) (← links)
- Logical predicates in higher-order mathematical operational semantics (Q6629517) (← links)
