Integral and differential structure on the free C^-ring modality

MaRDI QIDQ4986919zbMATH OpenFDO

Authors Jean-Simon Pacaud Lemay, Rory B. B. Lucyshyn-Wright

Publication date 28 April 2021

Full work available at URL https://arxiv.org/abs/1902.04555, http://cahierstgdc.com/wp-content/uploads/2021/04/Cruttwell-Lemay-Lucyshyn_LXII-2.pdf

zbMATH Keywords

derivationsmonadsmonoidal categoriesRota-Baxter algebrasdifferential categoriesKähler differentialsalgebra modalitiesC-infinity rings

Mathematics Subject Classification ID

Calculus of vector functions (26B12) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Derivations and commutative rings (13N15) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Modules of differentials (13N05) Monoidal categories, symmetric monoidal categories (18M05) Integral formulas of real functions of several variables (Stokes, Gauss, Green, etc.) (26B20) Synthetic differential geometry, tangent categories, differential categories (18F40)

Abstract: Integral categories were recently developed as a counterpart to differential categories. In particular, integral categories come equipped with an integration operator, known as an integral transformation, whose axioms generalize the basic integration identities from calculus such as integration by parts. However, the literature on integral categories contains no example that captures integration of arbitrary smooth functions: the closest are examples involving integration of polynomial functions. This paper fills in this gap by developing an example of an integral category whose integral transformation operates on smooth 1-forms. We also provide an alternative viewpoint on the differential structure of this key example, investigate derivations and coderelictions in this context, and prove that free $C^{infty}$-rings are Rota-Baxter algebras.

Recommendations

• Integral categories and calculus categories
• The shuffle quasimonad and modules with differentiation and integration
• Integral categories and calculus categories
• Convenient antiderivatives for differential linear categories
• Derivations on a \(C^{\infty}\)

Cited in

(6)

• Cartesian differential categories as skew enriched categories
• Convenient antiderivatives for differential linear categories
• Monoidal reverse differential categories
• scientific article; zbMATH DE number 3993825 (Why is no real title available?)
• Integral categories and calculus categories
• Integral categories and calculus categories

This page was built for publication: Integral and differential structure on the free \(C^\infty\)-ring modality

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