Monoidal reverse differential categories
G. S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk · Mathematical Structures in Computer Science · 2022
Abstract Cartesian reverse differential categories (CRDCs) are a recently defined structure which categorically model the reverse differentiation operations used in supervised learning. Here, we define a related structure called a monoidal reverse differential category, prove important results about its relationship to CRDCs, and provide examples of both structures, including examples coming from models of quantum computation.