scientific article; zbMATH DE number 7204432

DOI10.4230/LIPICS.FSCD.2017.13MaRDI QIDQ5111309zbMATH OpenFDO

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

Publication date 26 May 2020

zbMATH Keywords

linear logicdifferential categoriescoalgebra modalitiesbialgebra modalities

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Preadditive, additive categories (18E05) Monoidal categories, symmetric monoidal categories (18M05)

Recommendations

• Differential categories revisited
• Differential categories
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Cartesian differential categories

Cites work

• scientific article; zbMATH DE number 2185654 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A survey of graphical languages for monoidal categories
• Cartesian differential categories
• Cartesian differential storage categories
• Categorical semantics of linear logic
• Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
• Differential categories
• Differential interaction nets
• Monads and distributive laws for Rota-Baxter and differential algebras
• The differential lambda-calculus
• The geometry of tensor calculus. I

Cited in

(8)

• Integral categories and calculus categories
• scientific article; zbMATH DE number 7779290 (Why is no real title available?)
• Differential algebras in codifferential categories
• Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories
• Models of Linear Logic based on the Schwartz $\varepsilon$-product
• Convenient antiderivatives for differential linear categories
• Monoidal reverse differential categories
• Differential categories revisited

This page was built for publication:

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