Monoidal Reverse Differential Categories

03/23/2022
by   Geoffrey Cruttwell, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset