Quasistrict symmetric monoidal 2-categories via wire diagrams

Abstract

In this paper we give an expository account of quasistrict symmetric monoidal 2-categories, as introduced by Schommer-Pries. We reformulate the definition using a graphical calculus called wire diagrams, which facilitates computations and emphasizes the central role played by the interchangor coherence isomorphisms.

18 pages

Cited by in corpus (9)

• From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics
• Extended 3-dimensional bordism as the theory of modular objects
• The tricategory of formal composites and its strictification
• Q-system completion is a 3-functor
• Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
• Traced Monoidal Categories as Algebraic Structures in Prof
• Collages of String Diagrams
• Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
• A Profunctorial Semantics for Quantum Supermaps