Coherence for Frobenius pseudomonoids and the geometry of linear proofs

MaRDI QIDQ5227516FDOQ5227516

Jamie Vicary, Lawrence Dunn

Publication date: 6 August 2019

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

Recommendations

• Coherence of proof-net categories
• scientific article; zbMATH DE number 517045
• Linear logic, coherence and dinaturality
• scientific article; zbMATH DE number 1373514
• From proof-nets to bordisms: the geometric meaning of multiplicative connectives

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• The geometry of tensor calculus. I
• POVMs and Naimark's theorem without sums
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• TWO-DIMENSIONAL TOPOLOGICAL QUANTUM FIELD THEORIES AND FROBENIUS ALGEBRAS
• Frobenius monads and pseudomonoids
• Non-semisimple topological quantum field theories for 3-manifolds with corners
• Natural deduction and coherence for weakly distributive categories
• Title not available (Why is that?)
• Nonsymmetric \(^{\ast}\)-autonomous categories
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• A coherent approach to pseudomonads
• Simple free star-autonomous categories and full coherence
• *-Autonomous categories and linear logic
• Tori detect invertibility of topological field theories
• Title not available (Why is that?)
• S-Structures for k -Linear Categories and the Definition of a Modular Functor
• No proof nets for MLL with units
• Towards 3-Dimensional Rewriting Theory
• Title not available (Why is that?)
• From Proof Nets to the Free *-Autonomous Category
• From proof-nets to bordisms: the geometric meaning of multiplicative connectives
• Title not available (Why is that?)

Cited In (8)

• Title not available (Why is that?)
• The three dimensions of proofs
• Rewriting in Gray categories with applications to coherence
• DisCoPy: Monoidal Categories in Python
• Shaded tangles for the design and verification of quantum circuits
• A Topological Perspective on Interacting Algebraic Theories
• Quantum natural language processing on near-term quantum computers
• Frobenius and commutative pseudomonoids in the bicategory of spans

Uses Software

• Globular

This page was built for publication: Coherence for Frobenius pseudomonoids and the geometry of linear proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5227516)