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.
http://www.tac.mta.ca/tac/volumes/28/1/28-01.dvi
http://www.tac.mta.ca/tac/volumes/28/1/28-01.ps
http://www.tac.mta.ca/tac/volumes/28/1/28-01.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/28/1/28-01.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/28/1/28-01.ps