scientific article; zbMATH DE number 7204432

DOI10.4230/LIPICS.FSCD.2017.13zbMATH Open1434.18005MaRDI QIDQ5111309FDOQ5111309

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

Publication date: 26 May 2020

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cites Work

• The geometry of tensor calculus. I
• A survey of graphical languages for monoidal categories
• Categorical semantics of linear logic
• Title not available (Why is that?)
• Differential interaction nets
• The differential lambda-calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Differential categories
• Cartesian differential categories
• Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
• Cartesian differential storage categories
• Monads and distributive laws for Rota-Baxter and differential algebras

Cited In (8)

• Differential algebras in codifferential categories
• Differential categories revisited
• Convenient antiderivatives for differential linear categories
• Monoidal reverse differential categories
• Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories
• Integral categories and calculus categories
• Models of Linear Logic based on the Schwartz $\varepsilon$-product
• Title not available (Why is that?)

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)