We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Category Theory

Title: Categorical semantics of a simple differential programming language

Abstract: With the increased interest in machine learning, and deep learning in particular, the use of automatic differentiation has become more wide-spread in computation. There have been two recent developments to provide the theoretical support for this types of structure. One approach, due to Abadi and Plotkin, provides a simple differential programming language. Another approach is the notion of a reverse differential category. In the present paper we bring these two approaches together. In particular, we show how an extension of reverse derivative categories models Abadi and Plotkin's language, and describe how this categorical model allows one to consider potential improvements to the operational semantics of the language.
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Subjects: Category Theory (math.CT); Programming Languages (cs.PL)
ACM classes: D.3.1
Journal reference: EPTCS 333, 2021, pp. 289-310
DOI: 10.4204/EPTCS.333.20
Cite as: arXiv:2101.10491 [math.CT]
  (or arXiv:2101.10491v1 [math.CT] for this version)

Submission history

From: EPTCS [view email]
[v1] Tue, 26 Jan 2021 00:08:48 GMT (44kb)

Link back to: arXiv, form interface, contact.