A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine

DOI10.1145/2933575.2934525zbMath1395.03040arXiv1601.06098OpenAlexW2963115424MaRDI QIDQ4635915

Noam Zeilberger, Paul-André Melliès

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

linear logicLawvere's presheaf hyperdoctrinemonoidal closed bifibrationsmonoidal closed chiralitiestype refinement systems

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Fibered categories (18D30) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (5)

Bifibrations of polycategories and classical linear logic ⋮ Proof Nets, Coends and the Yoneda Isomorphism ⋮ An Isbell duality theorem for type refinement systems ⋮ Unnamed Item ⋮ Graphical Conjunctive Queries.

This page was built for publication: A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine