Coherence for Frobenius pseudomonoids and the geometry of linear proofs
From MaRDI portal
(Redirected from Publication:5227516)
Recommendations
Cites work
- scientific article; zbMATH DE number 2125662 (Why is no real title available?)
- scientific article; zbMATH DE number 4103051 (Why is no real title available?)
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- scientific article; zbMATH DE number 2049998 (Why is no real title available?)
- scientific article; zbMATH DE number 7178365 (Why is no real title available?)
- *-Autonomous categories and linear logic
- A coherent approach to pseudomonads
- Frobenius monads and pseudomonoids
- From Proof Nets to the Free *-Autonomous Category
- From proof-nets to bordisms: the geometric meaning of multiplicative connectives
- Globular: an online proof assistant for higher-dimensional rewriting
- Natural deduction and coherence for weakly distributive categories
- No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete
- Non-semisimple topological quantum field theories for 3-manifolds with corners
- Nonsymmetric \(^{\ast}\)-autonomous categories
- On dualizable objects in monoidal bicategories
- POVMs and Naimark's theorem without sums
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- S-Structures for k -Linear Categories and the Definition of a Modular Functor
- Simple free star-autonomous categories and full coherence
- TWO-DIMENSIONAL TOPOLOGICAL QUANTUM FIELD THEORIES AND FROBENIUS ALGEBRAS
- The geometry of tensor calculus. I
- Tori detect invertibility of topological field theories
- Towards 3-dimensional rewriting theory
Cited in
(8)- A topological perspective on interacting algebraic theories
- The three dimensions of proofs
- Rewriting in Gray categories with applications to coherence
- Shaded tangles for the design and verification of quantum programs (extended abstract)
- Shaded tangles for the design and verification of quantum circuits
- Quantum natural language processing on near-term quantum computers
- Frobenius and commutative pseudomonoids in the bicategory of spans
- DisCoPy: monoidal categories in Python
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)
