scientific article; zbMATH DE number 7089066
From MaRDI portal
Publication:5227516
Publication date: 6 August 2019
Full work available at URL: https://arxiv.org/abs/1601.05372
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
A Topological Perspective on Interacting Algebraic Theories ⋮ DisCoPy: Monoidal Categories in Python ⋮ Unnamed Item ⋮ Shaded tangles for the design and verification of quantum circuits ⋮ Rewriting in Gray categories with applications to coherence
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Nonsymmetric \(^{\ast}\)-autonomous categories
- Natural deduction and coherence for weakly distributive categories
- The geometry of tensor calculus. I
- A coherent approach to pseudomonads
- Tori detect invertibility of topological field theories
- Simple free star-autonomous categories and full coherence
- POVMs and Naimark's Theorem Without Sums
- From proof-nets to bordisms: the geometric meaning of multiplicative connectives
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- *-Autonomous categories and linear logic
- TWO-DIMENSIONAL TOPOLOGICAL QUANTUM FIELD THEORIES AND FROBENIUS ALGEBRAS
- No proof nets for MLL with units
- S-Structures for k -Linear Categories and the Definition of a Modular Functor
- Frobenius monads and pseudomonoids
- From Proof Nets to the Free *-Autonomous Category
- Towards 3-Dimensional Rewriting Theory
- Non-semisimple topological quantum field theories for 3-manifolds with corners
This page was built for publication:
