Pith. sign in

REVIEW

Monoidal Reverse Differential Categories

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

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

Geoffrey Cruttwell , Jonathan Gallagher , Jean-Simon Pacaud Lemay , Dorette Pronk This is my paper · ORCID
classification math.CTcs.LO
keywords reversedifferentialcategoriescrdcsexamplesmonoidalstructurecalled
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Pith tools