Convenient antiderivatives for differential linear categories

DOI10.1017/S0960129520000158zbMath1497.18027arXiv1808.08513OpenAlexW3039716079MaRDI QIDQ5139291

Jean-Simon Pacaud Lemay

Publication date: 8 December 2020

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

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

zbMATH Keywords

antiderivativesconvenient vector spacesdifferential categories

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical aspects of linear logic (18M45)

Related Items (1)

Monoidal reverse differential categories

Cites Work

• Quantitative domains and infinitary algebras
• Glueing and orthogonality for models of linear logic
• The differential lambda-calculus
• Differential categories
• Introduction to Boolean Algebras
• Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
• An Explicit Formula for the Free Exponential Modality of Linear Logic
• Integral categories and calculus categories
• Cartesian Differential Storage Categories
• Weighted Relational Models of Typed Lambda-Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Convenient antiderivatives for differential linear categories