Model bicategories and their homotopy bicategories

Localization and completion in homotopy theory (55P60) Topological categories, foundations of homotopy theory (55U40) 2-categories, bicategories, double categories (18N10) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

Abstract: 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

m a t h c a l C

, denote by

m a t h c a l C_{f c}

the full sub-bicategory of the fibrant-cofibrant objects. We prove that the 2-dimensional localization of

m a t h c a l C

at the weak equivalences can be computed as a bicategory

m a t h c a l H o (m a t h c a l C)

whose objects and arrows are those of

m a t h c a l C_{f c}

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

m a t h c a l C s t a c k r e l q l o n g r i g h t a r r o w m a t h c a l H o (m a t h c a l 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.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Model bicategories and their homotopy bicategories

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