Differential algebras in codifferential categories

DOI10.1016/J.JPAA.2019.01.005MaRDI QIDQ2001387zbMATH OpenOpenAlexWikidataFDO

Authors Jean-Simon Pacaud Lemay

Publication date 3 July 2019

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1803.02304

zbMATH Keywords

differential algebrasdifferential categoriesFaà di Bruno formulaHurwitz series rings

Mathematics Subject Classification ID

Differential algebra (12H05)

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

Review text

Derivations valued in modules over a commutative algebra are generalized to the context of a codifferential category in [\textit{R. Blute} et al., Cah. Topol. Géom. Différ. Catég. 57, No. 4, 243--279 (2016; Zbl 1364.13026)] with the notion of \(\top\)-algebra. A \(\top\)-differential algebra in a codifferential category is a \(\top\)-algebra endowed with a \(\top\)-derivation of type \(D:A\rightarrow A\). \(\top\)-differential algebras, which are the main concept of study in this paper, are the~appropriate generalization of differential algebras in codifferential categories. The paper consists of 8 sections. It is shown in \S 5 that every \(\top\)-differential algebra is a differential algebra in the classical sense, satisfying not only the higher-order Leibniz rule but also the Faà di Bruno formula for a higher-order chain rule. \S 6 is devoted to three basic examples of codifferential categories and their \(\top \)-differential algebras. \S 7 demonstrates that, given a codifferential category with countable coproducts, its category of \(\top\)-differential algebras is monadic over the codifferential category, while \S 8 shows that, given a codifferential category with countable coproducts, the category of \(\top\)-differential algebras is comonadic over the category of \(\top\)-algebras.

Recommendations

• Cartesian differential categories
• scientific article; zbMATH DE number 3897863
• Forms and exterior differentiation in Cartesian differential categories
• Cartesian differential storage categories
• Differential categories
• Differential categories revisited
• scientific article; zbMATH DE number 7684599
• Cartesian differential categories revisited
• Calculus and quantizations over Hopf algebras
• scientific article; zbMATH DE number 7204432

Cites work

• \(C^{\infty}\)-algebras from the functional analytic view point
• A convenient differential category
• A simplicial foundation for differential and sector forms in tangent categories
• Adjunctions and comonads in differential algebra
• Algebraic groups and differential Galois theory
• An introduction to C-infinity schemes and C-infinity algebraic geometry
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• An introduction to Rota-Baxter algebra.
• Cartesian differential categories
• Cartesian differential storage categories
• Derivations in codifferential categories
• Differential categories
• Differential interaction nets
• Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
• Differential structure, tangent structure, and SDG
• Forms and exterior differentiation in Cartesian differential categories
• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 841435 (Why is no real title available?)
• scientific article; zbMATH DE number 7204432 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• scientific article; zbMATH DE number 3056446 (Why is no real title available?)
• Hurwitz series as formal functions
• Integral categories and calculus categories
• Kähler categories
• Manifolds and differential geometry
• On 1-form classifiers^∗
• On differential Rota-Baxter algebras.
• On the ring of hurwitz series
• The differential lambda-calculus
• The shuffle quasimonad and modules with differentiation and integration

Cited in

(15)

• Differential categories revisited
• Forms and exterior differentiation in Cartesian differential categories
• The Faà di Bruno construction
• Kähler categories
• Derivations in codifferential categories
• A tangent category alternative to the Faà di Bruno construction
• Universal enveloping of (modified) \(\lambda\)-differential Lie algebras
• Free weighted (modified) differential algebras, free (modified) Rota–Baxter algebras and Gröbner–Shirshov bases
• Differential 2-rigs
• Koszul duality, minimal model and L_ -structure for differential algebras with weight
• Normed modules and the categorification of integrations, series expansions, and differentiations
• The Rosický tangent categories of algebras over an operad
• Normed modules, integral sequences, and integrals with variable upper limits
• Derivations as algebras
• Module-valued ordinary differential equations and structure of solution spaces

This page was built for publication: Differential algebras in codifferential categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2001387)