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 (5)

• 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 Prof
• Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)