17 Jan 2020 [ arXiv · LIPIcs ]
It’s known that affine and relevant monads preserve respectively drop and dup equations. We prove a converse.