Bicat is the tricategory of bicategories, homomorphisms, pseudonatural transformations, and modifications. Gray is the subtricategory of 2-categories, 2-functors, pseudonatural transformations, and modifications. We show that these two tricategories are not triequivalent.
Keywords: bicategory, tricategory, Gray-category, coherence
2000 MSC: 18D05
Theory and Applications of Categories,
Vol. 18, 2007,
No. 1, pp 1-3.
http://www.tac.mta.ca/tac/volumes/18/1/18-01.dvi
http://www.tac.mta.ca/tac/volumes/18/1/18-01.ps
http://www.tac.mta.ca/tac/volumes/18/1/18-01.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/18/1/18-01.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/18/1/18-01.ps