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&q...

Full description

Bibliographic Details

Published in:	Logical Methods in Computer Science
Main Authors:	Marta Bilkova, Alexander Kurz, Daniela Petrisan, Jiri Velebil
Format:	Article
Language:	English
Published:	Logical Methods in Computer Science e.V. 2013-10-01
Subjects:	computer science - logic in computer science
Online Access:	https://lmcs.episciences.org/742/pdf