2018/05/20 by Descotte, M. E., Dubuc, E. J., Szyld, M.
#Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics
paper · doi:10.48550/arxiv.1805.07749
We give the definitions of model bicategory and q-homotopy, which are natural generalizations of the notions of model category and homotopy to the context of bicategories. For any model bicategory C, denote by Cfc the full sub-bicategory of the fibrant-cofibrant objects. We prove that the 2-dimensional localization of C at the weak equivalences can be computed as a bicategory Ho(C) whose objects and arrows are those of Cfc and whose 2-cells are classes of q-homotopies up to an equivalence relation. When considered for a model category, q-homotopies coincide with the homotopies as considered by Quillen. The pseudofunctor C \stackrelq\longrightarrow Ho(C) which yields the localization is constructed by using a notion of fibrant-cofibrant replacement in this context. We include an appendix with a general result of independent interest on a transfer of structure for lax functors, that we apply to obtain a pseudofunctor structure for the fibrant-cofibrant replacement.