Integral and differential structure on the free $C^{\infty}$-ring modality

zbMath1460.18010arXiv1902.04555MaRDI QIDQ4986919

Rory B. B. Lucyshyn-Wright, Jean-Simon Pacaud Lemay, Unnamed Author

Publication date: 28 April 2021

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

zbMATH Keywords

monoidal categoriesderivationsKähler differentialsmonadsRota-Baxter algebrasdifferential categoriesalgebra modalitiesC-infinity rings

Mathematics Subject Classification ID

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

Related Items (2)

Cartesian differential categories as skew enriched categories ⋮ Monoidal reverse differential categories

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