Bifibrations of polycategories and classical linear logic

DOI10.1016/j.entcs.2020.09.003OpenAlexW3093908277WikidataQ113317308 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 constructionlinear logicpolycategoriesbifibrationsFrobenius monoids

Mathematics Subject Classification ID

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

Related Items (1)

LNL polycategories and doctrines of linear logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

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