Bifibrations of polycategories and classical linear logic

DOI10.1016/J.ENTCS.2020.09.003MaRDI QIDQ2133466zbMATH OpenOpenAlexWikidataFDO

Authors Nicolas Blanco, Noam Zeilberger

Publication date 29 April 2022

Full work available at URL https://doi.org/10.1016/j.entcs.2020.09.003

zbMATH Keywords

bifibrationsFrobenius monoidsGrothendieck constructionlinear logicpolycategories

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Categorical proof theory of classical propositional calculus
• A categorical semantics for polarized MALL
• A monadic approach to polycategories
• scientific article; zbMATH DE number 1924508
• Polycategories via pseudo-distributive laws

Cites work

• *-Autonomous categories and linear logic
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
• A categorical semantics for causal structure
• Compact closed bicategories
• Dialogue categories and chiralities
• Fibered Multiderivators and (co)homological descent
• Functors are type refinement systems
• scientific article; zbMATH DE number 1716480 (Why is no real title available?)
• scientific article; zbMATH DE number 3179944 (Why is no real title available?)
• scientific article; zbMATH DE number 2152035 (Why is no real title available?)
• scientific article; zbMATH DE number 7204444 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• Koszul duality for dioperads.
• Linear logic
• Natural deduction and coherence for weakly distributive categories
• Polarized category theory, modules, and game semantics
• Polycategories
• Proof theory in the abstract
• Representable multicategories
• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
• The Mathematics of Sentence Structure
• Weakly distributive categories

Cited in

(2)

• LNL polycategories and doctrines of linear logic
• Clones, closed categories, and combinatory logic

This page was built for publication: Bifibrations of polycategories and classical linear logic

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