A Quillen model structure for 2-categories

Steve Lack (16/05/01)

I'll describe a cofibrantly-generated Quillen model structure on the category 2-Cat of 2-categories and 2-functors; the weak equivalences are the biequivalences, and 2-functors are (right) homotopic if and only if they are pseudonaturally equivalent. The model structure is proper, in the sense that weak equivalences are stable under pullback along fibrations and pushout along cofibrations. It is compatible with the monoidal structure given by the Gray tensor product, but not with the cartesian monoidal structure.

[This has been written up as a paper of the same name, published in K-theory 26(2002), 171-205. It contains an error, which is corrected in A Quillen model structure for bicategories.]

Other talks by the same speaker.
Back to titles of seminars.

---

Steve Lack

Last modified: Thu Aug 14 10:00:57 EST 2003