A cofibrantly generated Quillen model structure on the category Bicats of bicategories and strict homomorphisms is constructed. Another such structure on the category 2-Cat of 2-categories and 2-functors is described, correcting the construction given in an earlier paper. The fully faithful inclusion of 2-Cat in Bicats is shown to be the right adjoint part of a Quillen equivalence.
Click here to download a gzipped postscript file of the complete paper.