Search

• < Previous
• 1
• Next >

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

We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the existence of a distributive law of T over the "powerset monad" on&nbsp;[&hellip;]