Differential Algebras in Codifferential Categories

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 $\mathsf{T}$-differential algebras, which can be seen as special cases of Blute, Lucyshyn-Wright, and O'Neill's notion of $\mathsf{T}$-derivations. As such, $\mathsf{T}$-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 $\mathsf{T}$-differential algebras for suitable codifferential categories and discuss power series of $\mathsf{T}$-algebras.