Integral categories and calculus categories
From MaRDI portal
Publication:4611199
DOI10.1017/S0960129518000014zbMath1408.18012OpenAlexW2737177195MaRDI QIDQ4611199
J. S. Lemay, J. Robin 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
integrationdifferentiationRota-Baxter algebradifferential categorydifferential lambda calculuscalculus categorydifferential proof netsfundamental theorems of classical calculusintegral category
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Models of Linear Logic based on the Schwartz $\varepsilon$-product ⋮ Koszul duality, minimal model and \(L_\infty \)-structure for differential algebras with weight ⋮ Unnamed Item ⋮ 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 ⋮ Differential algebras in codifferential categories ⋮ Jets and differential linear logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An analytic problem whose solution follows from a simple algebraic identity
- Differential interaction nets
- Monads and distributive laws for Rota-Baxter and differential algebras
- The geometry of tensor calculus. I
- The differential lambda-calculus
- Constructing differential categories and deconstructing categories of games
- Differential structure, tangent structure, and SDG
- On differential Rota-Baxter algebras.
- Differential restriction categories
- Derivations in Codifferential Categories
- A Survey of Graphical Languages for Monoidal Categories
- Differential categories
- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
- Cartesian Differential Storage Categories
- Baxter algebras and combinatorial identities. I
This page was built for publication: Integral categories and calculus categories
