The following pages link to Relation lifting, a survey (Q299182):
Displaying 12 items.
- Lattices do not distribute over powerset (Q2200477) (← links)
- Combining semilattices and semimodules (Q2233397) (← links)
- The Vietoris monad and weak distributive laws (Q2307527) (← links)
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras (Q2695343) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- Bisimulation as a logical relation (Q5058364) (← links)
- Convexity via Weak Distributive Laws (Q5060194) (← 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)
