Integral categories and calculus categories

DOI10.1017/S0960129518000014MaRDI QIDQ4611199zbMATH OpenOpenAlexFDO

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

Publication date 17 January 2019

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129518000014

zbMATH Keywords

calculus categorydifferential categorydifferential lambda calculusdifferential proof netsdifferentiationfundamental theorems of classical calculusintegral categoryintegrationRota-Baxter algebra

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categories in geometry and topology (18F99)

Recommendations

• Integral categories and calculus categories
• Convenient antiderivatives for differential linear categories
• Differential categories revisited
• Integral and differential structure on the free C^-ring modality
• Monads and distributive laws for Rota-Baxter and differential algebras

Cites work

• A convenient differential category
• A survey of graphical languages for monoidal categories
• An analytic problem whose solution follows from a simple algebraic identity
• An introduction to Rota-Baxter algebra.
• Baxter algebras and combinatorial identities. I
• Cartesian differential categories
• Cartesian differential storage categories
• Constructing differential categories and deconstructing categories of games
• Derivations in codifferential categories
• Differential categories
• Differential interaction nets
• Differential restriction categories
• Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
• Differential structure, tangent structure, and SDG
• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 2185654 (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?)
• Kähler categories
• Monads and distributive laws for Rota-Baxter and differential algebras
• On differential Rota-Baxter algebras.
• The differential lambda-calculus
• The geometry of tensor calculus. I

Cited in

(22)

• Model categories for orthogonal calculus
• Differential algebras in codifferential categories
• Cartesian integral categories and contextual integral categories
• scientific article; zbMATH DE number 774090 (Why is no real title available?)
• Integral and differential structure on the free C^-ring modality
• Jets and differential linear logic
• Why \textsf{FHilb} is not an interesting (co)differential category
• Integral categories and calculus categories
• Classification of operator extensions, monad liftings and distributive laws for differential algebras and Rota-Baxter algebras
• Cofree coalgebras and differential linear logic
• Convenient antiderivatives for differential linear categories
• Models of Linear Logic based on the Schwartz \varepsilon-product
• The rôle of categorical structures in infinitesimal calculus
• scientific article; zbMATH DE number 6665185 (Why is no real title available?)
• Monoidal reverse differential categories
• Koszul duality, minimal model and L_ -structure for differential algebras with weight
• The difference -calculus: a language for difference categories
• Normed modules and the categorification of integrations, series expansions, and differentiations
• Differential calculus founded on an isomorphism
• Fundamental theorems of calculus and Zinbiel algebras
• Normed modules, integral sequences, and integrals with variable upper limits
• Module-valued ordinary differential equations and structure of solution spaces

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 Q4611199)