# The monoidal structure of strictification

## Nick Gurski

We study the monoidal structure of the standard strictification functor $st : Bicat \rightarrow 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.

Keywords: Gray tensor product, strictification

2010 MSC: Primary 18D05, 18D10

Theory and Applications of Categories, Vol. 28, 2013, No. 1, pp 1-23.

Published 2013-01-24.

TAC Home