research
∙
07/31/2023
Lax Liftings and Lax Distributive Laws
Liftings of endofunctors on sets to endofunctors on relations are common...
research
∙
03/03/2023
Use your Google Account to sign in to DeepAI