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 and a class of morphisms containing the identities, we construct a 2-category 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 has a universal property which implies that it will be the 2-localization of at as soon as the arrows of become equivalences in . This is then used to obtain 2-localizations of a model category , with , the weak equivalences, and , the full subcategory of fibrant-cofibrant objects, as well as with . 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.
Recommendations
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)