Monoidal Reverse Differential Categories
Category Theory
2022-09-12 v2 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.2203.12478,
title = {Monoidal Reverse Differential Categories},
author = {Geoffrey Cruttwell and Jonathan Gallagher and Jean-Simon Pacaud Lemay and Dorette Pronk},
journal= {arXiv preprint arXiv:2203.12478},
year = {2022}
}