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.

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

TAC Home