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

• The periodic table of $n$-categories for low dimensions II: degenerate tricategories