[2203.12478] Monoidal Reverse Differential Categories