Quasistrict symmetric monoidal 2-categories via wire diagrams

TL;DR

This paper provides an accessible reformulation of quasistrict symmetric monoidal 2-categories using wire diagrams, enhancing understanding and computation of their coherence isomorphisms.

Contribution

It introduces a graphical calculus for quasistrict symmetric monoidal 2-categories, clarifying their structure and simplifying calculations.

Findings

Wire diagrams make coherence isomorphisms more intuitive

The reformulation aids in computations within these categories

Provides an expository overview of Schommer-Pries's definitions

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.