The 2-localization of a model category

From MaRDI portal



Abstract: In this paper we study a 2-dimensional version of Quillen's homotopy category construction. Given a category mathscrA and a class of morphisms SigmasubsetmathscrA containing the identities, we construct a 2-category mathcalHo(mathscrA) obtained by the addition of 2-cells determined by homotopies. A salient feature here is the use of a novel notion of cylinder introduced in cite{e.d.2}. The inclusion 2-functor mathscrClongrightarrowmathcalHo(mathscrA) has a universal property which implies that it will be the 2-localization of mathscrA at Sigma as soon as the arrows of Sigma become equivalences in mathcalHo(mathscrA). This is then used to obtain 2-localizations of a model category mathscrAC, with Sigma=mathcalW, the weak equivalences, and mathscrA=mathscrCfc, the full subcategory of fibrant-cofibrant objects, as well as with mathscrA=mathscrC. The set of connected components of the hom categories yields Quillen's results. We follow the general lines established in cite{e.d.2}, cite{e.d.} for model bicategories. The development here is not just the examination of the general theory in a particular case. It is not concerned with and avoids the problems which arise when dealing with non invertible 2-cells. Also, the use here of functorial factorization adds further simplifications by eliminating the need of pseudofunctors. New proofs are produced which are not a mere simplified adaptation of the ones of the general case.












This page was built for publication: The 2-localization of a model category

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6406555)