A Quillen Model Structure for 2-Categories |
| |
Authors: | Stephen Lack |
| |
Affiliation: | (1) School of Mathematics and Statistics, University of Sydney, NSW 2006, Australia |
| |
Abstract: | We describe a cofibrantly generated Quillen model structure on the locally finitely presentable category 2-Cat of (small) 2-categories and 2-functors; the weak equivalences are the biequivalences, and the homotopy relation on 2-functors is just pseudonatural equivalence. The model structure is proper, and is compatible with the monoidal structure given by the Gray tensor product. It is not compatible with the Cartesian closed structure, in which the tensor product is the product.The model structure restricts to a model structure on the full subcategory PsGpd of 2-Cat, consisting of those 2-categories in which every arrow is an equivalence and every 2-cell is invertible. The model structure on PsGpd is once again proper, and compatible with the monoidal structure given by the Gray tensor product. |
| |
Keywords: | Quillen model category 2-category Gray tensor product biequivalence |
本文献已被 SpringerLink 等数据库收录! |
|