Coherence for Frobenius pseudomonoids and the geometry of linear proofs

Research output: Contribution to journalArticlepeer-review


Colleges, School and Institutes

External organisations

  • North Florida Community College, USA


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
Issue number3
Publication statusPublished - 26 Jul 2019