Coherence for Frobenius pseudomonoids and the geometry of linear proofs

Lawrence Dunn, Jamie Vicary

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)
71 Downloads (Pure)

Abstract

We prove coherence theorems for Frobenius pseudomonoids and snakeorators in monoidal bicategories. As a consequence we obtain a 3d notation for proofs in nonsymmetric multiplicative linear logic, with a geometrical notion of equivalence, and without the need for a global correctness criterion or thinning links. We argue that traditional proof nets are the 2d projections of these 3d diagrams.
Original languageEnglish
JournalLogical Methods in Computer Science
Volume15
Issue number3
DOIs
Publication statusPublished - 26 Jul 2019

Fingerprint

Dive into the research topics of 'Coherence for Frobenius pseudomonoids and the geometry of linear proofs'. Together they form a unique fingerprint.

Cite this