1 paper · 1 filter
Ugo Dal Lago, Zeinab Galal
Lax extensions (also called relators or relation liftings) are a categorical notion to reason about functors acting on functions and relations in a compatible way. They play a cent…