Linearly distributive Fox theorem

MaRDI QIDQ7353765zbMATH OpenFDO

Authors Rose Kudzman-Blais

Publication date 18 September 2026

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL http://www.tac.mta.ca/tac/volumes/45/46/45-46abs.html#vol45

Mathematics Subject Classification ID

Categorical aspects of linear logic (18M45)

Cites work

• *-autonomous categories. With an appendix by Po-Hsiang Chu
• A Characterization of Medial as Rewriting Rule
• A Local System for Classical Logic
• A system of interaction and structure
• Braided tensor categories
• Cartesian bicategories. I
• Cartesian linearly distributive categories: revisited
• Categories for Quantum Theory
• Centers and homotopy centers in enriched monoidal categories
• Coalgebras and cartesian categories
• Commutativity
• Deep inference and probabilistic coherence spaces
• Exploring the gap between linear and classical logic
• Higher dimensional categories. From double to multiple categories
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 193320 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1231467 (Why is no real title available?)
• scientific article; zbMATH DE number 1024333 (Why is no real title available?)
• scientific article; zbMATH DE number 1980939 (Why is no real title available?)
• scientific article; zbMATH DE number 7471668 (Why is no real title available?)
• scientific article; zbMATH DE number 3385865 (Why is no real title available?)
• Introduction to linear bicategories
• Iterated monoidal categories
• Linear logic
• Linearly distributive functors
• Locality for classical logic
• Monoidal functors, species and Hopf algebras
• On categorical models of classical logic and the Geometry of Interaction
• On linear rewriting systems for Boolean logic and some applications to proof theory
• On the axiomatisation of Boolean categories with and without medial
• On the length of medial-switch-mix derivations
• Operads in iterated monoidal categories
• Tannaka duality and convolution for duoidal categories
• Weakly distributive categories
• When Lawvere meets Peirce: an equational presentation of Boolean hyperdoctrines

This page was built for publication: Linearly distributive Fox theorem

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