dr. Bas Westerbaan

github

Preservation of Equations by Monoidal Monads

17 Jan 2020 [ arXiv ]

It’s known that affine and relevant monads preserve respectively drop and dup equations. We prove a converse.