LIPIcs.FSCD.2017.13.pdf
- Filesize: 0.55 MB
- 21 pages
Document
There Is Only One Notion of Differentiation
Authors
-
Part of:
Volume:
2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: Formal Structures for Computation and Deduction (FSCD) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2017-08-30
Cite AsGet BibTex
J. Robin B. Cockett and Jean-Simon Lemay. There Is Only One Notion of Differentiation. In 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 84, pp. 13:1-13:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
https://doi.org/10.4230/LIPIcs.FSCD.2017.13
https://doi.org/10.4230/LIPIcs.FSCD.2017.13
Abstract
Differential linear logic was introduced as a syntactic proof-theoretic approach to the analysis of differential calculus. Differential categories were subsequently introduce to provide a categorical model theory for differential linear logic. Differential categories used two different approaches for defining differentiation abstractly: a deriving transformation and a coderiliction. While it was thought that these notions could give rise to distinct notions of differentiation, we show here that these notions, in the presence of a monoidal coalgebra modality, are completely equivalent.
Keywords
- Differential Categories
- Linear Logic
- Coalgebra Modalities
- Bialgebra Modalities
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
-
Gavin Bierman. What is a categorical model of intuitionistic linear logic? Typed Lambda Calculi and Applications, pages 78-93, 1995.
-
Richard F. Blute, J. Robin B. Cockett, and Robert A. G. Seely. Differential categories. Mathematical structures in computer science, 16(06):1049-1083, 2006.
-
Richard F. Blute, J. Robin B. Cockett, and Robert A. G. Seely. Cartesian differential categories. Theory and Applications of Categories, 22(23):622-672, 2009.
-
Richard F. Blute, J. Robin B. Cockett, and Robert A. G. Seely. Cartesian differential storage categories. Theory and Applications of Categories, 30(18):620-686, 2015.
-
Thomas Ehrhard and Laurent Regnier. The differential lambda-calculus. Theoretical Computer Science, 309(1):1-41, 2003.
-
Thomas Ehrhard and Laurent Regnier. Differential interaction nets. Theoretical Computer Science, 364(2):166-195, 2006.
-
Marcelo P. Fiore. Differential structure in models of multiplicative biadditive intuitionistic linear logic. In International Conference on Typed Lambda Calculi and Applications, pages 163-177. Springer, 2007.
-
André Joyal and Ross Street. The geometry of tensor calculus, I. Advances in Mathematics, 88(1):55-112, 1991.
-
Saunders Mac Lane. Categories for the working mathematician, volume 5. Springer Science &Business Media, 2013.
-
Paul-André Mellies. Categorical models of linear logic revisited, 2003.
-
Robert A. G. Seely. Linear logic,*-autonomous categories and cofree coalgebras. Ste. Anne de Bellevue, Quebec: CEGEP John Abbott College, 1987.
-
Peter Selinger. A survey of graphical languages for monoidal categories. In New structures for physics, pages 289-355. Springer, 2010.
-
Shilong Zhang, Li Guo, and William Keigher. Monads and distributive laws for rota-baxter and differential algebras. Advances in Applied Mathematics, 72:139-165, 2016.