Differential Algebras in Codifferential Categories
Jean-Simon P. Lemay

TL;DR
This paper extends the concept of differential algebras within differential categories, introducing $ extsf{T}$-differential algebras that satisfy chain rule properties and exploring their free and cofree constructions.
Contribution
It generalizes differential algebras to the categorical setting of differential categories via $ extsf{T}$-differential algebras, including their axioms and structural properties.
Findings
Established axioms for $ extsf{T}$-differential algebras based on the chain rule
Derived higher-order Leibniz rule and Faà di Bruno formula
Constructed free and cofree $ extsf{T}$-differential algebras
Abstract
Differential categories were introduced by Blute, Cockett, and Seely as categorical models of differential linear logic and have since lead to abstract formulations of many notions involving differentiation such as the directional derivative, differential forms, smooth manifolds, De Rham cohomology, etc. In this paper we study the generalization of differential algebras to the context of differential categories by introducing -differential algebras, which can be seen as special cases of Blute, Lucyshyn-Wright, and O'Neill's notion of -derivations. As such, -differential algebras are axiomatized by the chain rule and as a consequence we obtain both the higher-order Leibniz rule and the Fa\`a di Bruno formula for the higher-order chain rule. We also construct both free and cofree -differential algebras for suitable codifferential categories…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
