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.

arXiv comment18 pages

References in corpus (2)

• The Classification of Two-Dimensional Extended Topological Field Theories
• Compact Closed Bicategories

Cited by in corpus (22)

• Compact Closed Bicategories
• Modular categories as representations of the 3-dimensional bordism 2-category
• Biunitary constructions in quantum information
• Defining and classifying TQFTs via surgery
• Open Diagrams via Coend Calculus
• 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
• Coherence for Frobenius pseudomonoids and the geometry of linear proofs
• A 3-categorical perspective on G-crossed braided categories
• K-theory for 2-categories
• The tricategory of formal composites and its strictification
• The 2-Deligne Tensor Product
• Stable Postnikov data of Picard 2-categories
• Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
• Shaded tangles for the design and verification of quantum circuits
• Q-system completion is a 3-functor
• Traced Monoidal Categories as Algebraic Structures in Prof
• Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
• Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
• Collages of String Diagrams
• Coherence for indexed symmetric monoidal categories
• A Profunctorial Semantics for Quantum Supermaps