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

zbMATH Open1460.18010arXiv1902.04555MaRDI QIDQ4986919FDOQ4986919

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

Publication date: 28 April 2021

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.

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

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}\)

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)

Cited In (6)

• Cartesian differential categories as skew enriched categories
• Convenient antiderivatives for differential linear categories
• Monoidal reverse differential categories
• Title not available (Why is that?)
• 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)