LNL polycategories and doctrines of linear logic

DOI10.46298/lmcs-19(2:1)2023arXiv2106.15042MaRDI QIDQ6135749

Michael Shulman

Publication date: 26 August 2023

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

Full work available at URL: https://arxiv.org/abs/2106.15042

zbMATH Keywords

sequent calculuslinear logicmulticategorypolycategorydoctrineexponential modality

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Skew-monoidal categories and bialgebroids.
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Weakly distributive categories
• On the unity of logic
• Introduction to extensive and distributive categories
• Glueing and orthogonality for models of linear logic
• Representable multicategories
• Skew monoidal categories and skew multicategories
• Higher cyclic operads
• Bifibrations of polycategories and classical linear logic
• The sequent calculus of skew monoidal categories
• Coherence via focusing for symmetric skew monoidal categories
• Polycategories via pseudo-distributive laws
• Strong functors and monoidal monads
• Adjunction Models For Call-By-Push-Value With Stacks
• Tensors, monads and actions
• Categorical Homotopy Theory
• Closed categories vs. closed multicategories
• The enriched effect calculus: syntax and semantics
• Cyclic multicategories, multivariable adjunctions and mates
• *-Autonomous categories and linear logic
• Polycategories
• Premonoidal categories and notions of computation
• An explicit formula for the free exponential modality of linear logic
• Classical linear logic of implications
• ! and ? – Storage as tensorial strength
• Dwyer–Kan homotopy theory for cyclic operads
• The linear-non-linear substitution 2-monad
• A unified framework for generalized multicategories
• Braided skew monoidal categories
• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
• Linear usage of state
• Closed categories generated by commutative monads
• A syntax for linear logic
• Proof theory in the abstract