Bifibrations of polycategories and classical linear logic

DOI10.1016/j.entcs.2020.09.003WikidataQ113317308 ScholiaQ113317308MaRDI QIDQ2133466

Noam Zeilberger, Nicolas Blanco

Publication date: 29 April 2022

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

zbMATH Keywords

Grothendieck construction; linear logic; polycategories; bifibrations; Frobenius monoids

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

LNL polycategories and doctrines of linear logic

Cites Work

• Dialogue categories and chiralities
• Linear logic
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Weakly distributive categories
• Natural deduction and coherence for weakly distributive categories
• Koszul duality for dioperads.
• Representable multicategories
• Functors are Type Refinement Systems
• Compact Closed Bicategories
• The Mathematics of Sentence Structure
• *-Autonomous categories and linear logic
• Polycategories
• A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
• Fibered Multiderivators and (co)homological descent
• Proof theory in the abstract
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item