Integral categories and calculus categories

DOI10.4230/LIPICS.CSL.2017.20MaRDI QIDQ5111187zbMATH OpenFDO

Authors J. S. Lemay, J. R. B. Cockett

Publication date 26 May 2020

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

zbMATH Keywords

differential categoriesintegral categoriescalculus categories

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categories in geometry and topology (18F99) Monoidal categories, symmetric monoidal categories (18M05)

Abstract: Differential categories are now an established abstract setting for differentiation. However not much attention has been given to the process which is inverse to differentiation: integration. This paper presents the parallel development for integration by axiomatizing an integral transformation, $s_A:!Ao!AotimesA$, in a symmetric monoidal category with a coalgebra modality. When integration is combined with differentiation, the two fundamental theorems of calculus are expected to hold (in a suitable sense): a differential category with integration which satisfies these two theorem is called a {em calculus category/}. Modifying an approach to antiderivatives by T. Ehrhard, we define having antiderivatives as the demand that a certain natural transformation, $K:!Ao!A$, is invertible. We observe that a differential category having antiderivatives, in this sense, is always a calculus category. When the coalgebra modality is monoidal, it is natural to demand an extra coherence between integration and the coalgebra modality. In the presence of this extra coherence we show that a calculus category with a monoidal coalgebra modality has its integral transformation given by antiderivatives and, thus, that the integral structure is uniquely determined by the differential structure. The paper finishes by providing a suite of separating examples. Examples of differential categories, integral categories, and calculus categories based on both monoidal and (mere) coalgebra modalities are presented. In addition, differential categories which are not integral categories are discussed and vice versa.

Recommendations

• Integral categories and calculus categories
• Differential categories revisited
• Convenient antiderivatives for differential linear categories
• Cartesian differential categories
• Integral and differential structure on the free \(C^\infty\)-ring modality

Cited in

(6)

• scientific article; zbMATH DE number 774090 (Why is no real title available?)
• scientific article; zbMATH DE number 6665185 (Why is no real title available?)
• The rôle of categorical structures in infinitesimal calculus
• Integral and differential structure on the free \(C^\infty\)-ring modality
• Convenient antiderivatives for differential linear categories
• Integral categories and calculus categories

This page was built for publication: Integral categories and calculus categories

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