17 Jan 2020 · published · with dr. Louis Parlant, dr. Jurriaan Rot and prof. Alexandra Silva [arXiv · LIPIcs]
It’s known that affine and relevant monads preserve respectively drop and dup equations. We prove a converse.