Cartesian linearly distributive categories: revisited

DOI10.1007/S10485-026-09880-0MaRDI QIDQ7316299zbMATH OpenFDO

Authors Rose Kudzman-Blais, Jean-Simon Pacaud Lemay

Publication date 19 August 2026

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10485-026-09880-0

Mathematics Subject Classification ID

Categorical aspects of linear logic (18M45)

Cites work

• *-autonomous categories. With an appendix by Po-Hsiang Chu
• A new constructive logic: classic logic
• Bimonoidal categories, E_n-monoidal categories, and algebraic K-theory. Volume III: From categories to structured ring spectra
• Biproducts without pointedness
• Braided tensor categories
• Classical distributive restriction categories
• Deep inference and probabilistic coherence spaces
• scientific article; zbMATH DE number 431760 (Why is no real title available?)
• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 1024333 (Why is no real title available?)
• scientific article; zbMATH DE number 7471668 (Why is no real title available?)
• scientific article; zbMATH DE number 3385869 (Why is no real title available?)
• Introduction to distributive categories
• Linear logic
• Linearly distributive functors
• Monoidal functors, species and Hopf algebras
• Natural deduction and coherence for weakly distributive categories
• Non-canonical isomorphisms
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Weakly distributive categories

Cited in

(1)

• Linearly distributive Fox theorem

This page was built for publication: Cartesian linearly distributive categories: revisited

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