Reverse derivative categories

Robin Cockett‚ Geoffrey Cruttwell‚ Jonathan Gallagher‚ Jean−Simon Pacaud Lemay‚ Benjamin MacAdam‚ Gordon Plotkin and Dorette Pronk