The monoidal structure of strictification

Abstract

We study the monoidal structure of the standard strictification functor $\text{st}:\mathbf{Bicat}\to 2Cat$. In doing so, we construct monoidal structures on the 2-category whose objects are bicategories and on the 2-category whose objects are 2-categories.

References in corpus (3)

• The Classification of Two-Dimensional Extended Topological Field Theories
• 2-nerves for bicategories
• The periodic table of $n$-categories for low dimensions II: degenerate tricategories

Cited by in corpus (3)

• The 2-dimensional stable homotopy hypothesis
• Stable Postnikov data of Picard 2-categories
• How strict is strictification?