45 citations · 96 across the 11 of their papers we have counts for
Showing 2013 · cs.LOShow all
2 papers · 2 filters
cs.LO2013★ 8 cited
Kan injectivity in order-enriched categories
Jiri Adamek, Lurdes Sousa, Jiri Velebil
Continuous lattices were characterised by Martin Escardo as precisely the objects that are Kan-injective w.r.t. a certain class of morphisms. We study Kan-injectivity in general ca…
cs.LO2013★ 12 cited
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…