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

Marta Bilkova, Alexander Kurz, Daniela Petrisan +1

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…