Additive enrichment from coderelictions

DOI10.46298/LMCS-22(1:23)2026MaRDI QIDQ6840488zbMATH OpenFDO

Authors Jean-Simon Pacaud Lemay

Publication date 23 March 2026

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-22(1:23)2026

zbMATH Keywords

additive enrichmentbialgebra modalitycoalgebra modalitycoderelictiondifferential categoriesdifferential linear logicHopf coalgebra modality

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• A survey of graphical languages for monoidal categories
• An Explicit Formula for the Free Exponential Modality of Linear Logic
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Cartesian differential categories as skew enriched categories
• Differential categories revisited
• Differential interaction nets
• Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
• Glueing and orthogonality for models of linear logic
• Hopf algebras and linear logic
• scientific article; zbMATH DE number 2185654 (Why is no real title available?)
• scientific article; zbMATH DE number 2134910 (Why is no real title available?)
• scientific article; zbMATH DE number 3309240 (Why is no real title available?)
• scientific article; zbMATH DE number 7774245 (Why is no real title available?)
• Lifting coalgebra modalities and \textsf{MELL} model structure to Eilenberg-Moore categories
• Taylor expansion as a monad in models of DiLL

This page was built for publication: Additive enrichment from coderelictions

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