Model bicategories and their homotopy bicategories

DOI10.1016/J.AIM.2022.108455zbMATH Open1498.18029arXiv1805.07749OpenAlexW2804278086MaRDI QIDQ2671925FDOQ2671925

Martín Szyld, Eduardo J. Dubuc, María Emilia Descotte

Publication date: 3 June 2022

Published in: Advances in Mathematics (Search for Journal in Brave)

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 $mathcalC$, denote by $mathcal{C}_{fc}$ the full sub-bicategory of the fibrant-cofibrant objects. We prove that the 2-dimensional localization of $mathcalC$ at the weak equivalences can be computed as a bicategory $mathcalHo(mathcalC)$ whose objects and arrows are those of $mathcal{C}_{fc}$ 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 $mathcalCstackrelqlongrightarrowmathcalHo(mathcalC)$ 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.

Full work available at URL: https://arxiv.org/abs/1805.07749

zbMATH Keywords

homotopylocalizationmodel categorybicategorymodel bicategory

Mathematics Subject Classification ID

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Homotopical algebra
• Title not available (Why is that?)
• Higher Topos Theory (AM-170)
• Understanding the small object argument
• Introduction to bicategories
• Title not available (Why is that?)
• Simplicial homotopy theory
• Title not available (Why is that?)
• Simplicial localizations of categories
• Quasi-categories and Kan complexes
• Cech and Steenrod homotopy theories with applications to geometric topology
• Title not available (Why is that?)
• Calculating simplicial localizations
• Elementary observations on 2-categorical limits
• A Quillen model structure for bicategories
• Bicategorical fibration structures and stacks
• A new model for pro-categories
• On the construction of functorial factorizations for model categories
• Proper factorization systems in 2-categories
• A localization of bicategories via homotopies
• Title not available (Why is that?)
• Title not available (Why is that?)
• Enriched model categories and presheaf categories
• Model \(\infty\)-categories. III: The fundamental theorem

Cited In (1)

• A localization of bicategories via homotopies

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)