research
∙
01/17/2020
Preservation of Equations by Monoidal Monads
If a monad T is monoidal, then operations on a set X can be lifted canon...
research
∙
12/04/2017