A Quillen model structure for Gray-categories
A Quillen model structure for Gray-categories
Abstract A Quillen model structure on the category Gray-Cat of Gray -categories is described, for which the weak equivalences are the triequivalences. It is shown to restrict to the full subcategory Gray-Gpd of Gray -groupoids. This is used to provide a functorial and model-theoretic proof of the unpublished theorem of …