Relation lifting, with an application to the many-valued cover modality
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 categories, one …