Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Functorial String Diagrams for Reverse-Mode Automatic Differentiation   We enhance the calculus of string diagrams for monoidal categories with
hierarchical features in order to capture closed monoidal (and cartesian
closed) structure. Using this new syntax we formulate an automatic
differentiation algorithm for (applied) simply typed lambda calculus in the
style of [Pearlmutter and Siskind 2008] and we prove for the first time its
soundness. To give an efficient yet principled implementation of the AD
algorithm we define a sound and complete representation of hierarchical string
diagrams as a class of hierarchical hypergraphs we call hypernets.

22
The categories of this paper are: chao-dyn
12
The categories of this paper are: nucl-th
36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
16
The categories of this paper are: stat
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
37
The categories of this paper are: supr-con
35
The categories of this paper are: mtrl-th
19
The categories of this paper are: eess
31
The categories of this paper are: ao-sci
17
The categories of this paper are: q-fin
8
The categories of this paper are: hep-ex
27
The categories of this paper are: comp-gas
6
The categories of this paper are: astro-ph