Monoidal Reverse Differential Categories

DOI10.1017/S096012952200038XMaRDI QIDQ6394507arXivFDO

Authors Geoff Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk

Publication date 23 March 2022

Published in arXiv

Full work available at URL https://doi.org/10.1017/S096012952200038X

Mathematics Subject Classification ID

Synthetic differential geometry, tangent categories, differential categories (18F40) Monoidal categories, symmetric monoidal categories (18M05) Quantum computation (81P68)

arXiv classification

cs.LOmath.CT

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 page was built for publication: Monoidal Reverse Differential Categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6394507)