Proof Nets, Coends and the Yoneda Isomorphism
From MaRDI portal
Publication:5018492
zbMath1486.03111arXiv1810.01252MaRDI QIDQ5018492
Publication date: 20 December 2021
Full work available at URL: https://arxiv.org/abs/1810.01252
Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The relational model is injective for multiplicative exponential linear logic (without weakenings)
- Linear logic
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Linear logic, coherence and dinaturality
- Functorial polymorphism
- Commuting conversions vs. the standard conversions of the ``good connectives
- Natural deduction and coherence for weakly distributive categories
- The geometry of tensor calculus. I
- The structure of multiplicatives
- Linear Läuchli semantics
- Simple free star-autonomous categories and full coherence
- Modular invariant Frobenius algebras from ribbon Hopf algebra automorphisms.
- Comments on predicative logic
- The naturality of natural deduction
- Proof Nets for Herbrand’s Theorem
- Game Semantics in String Diagrams
- (Co)end Calculus
- Categorical data types in parametric polymorphism
- No proof nets for MLL with units
- A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
- POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE
- Unification nets
- The Recursion Scheme from the Cofree Recursive Comonad
- From Proof Nets to the Free *-Autonomous Category
- Computer Science Logic
- Non-semisimple topological quantum field theories for 3-manifolds with corners
