pith. sign in

arxiv: 2203.12478 · v2 · pith:4P7ITCYL · submitted 2022-03-23 · math.CT · cs.LO

Monoidal Reverse Differential Categories

pith:4P7ITCYLopen to challenge →

classification math.CT cs.LO
keywords reversedifferentialcategoriescrdcsexamplesmonoidalstructurecalled
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.