Fibrantly-induced model structures

MaRDI QIDQ6423779zbMATH OpenFDO

Authors Léonard Guetta, Lyne Moser, Maru Sarazola, Paula Verdugo

Publication date 18 January 2023

Mathematics Subject Classification ID

2-categories, bicategories, double categories (18N10) Homotopical algebra, Quillen model categories, derivators (18N40) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: We develop new techniques for constructing model structures from a given class of cofibrations, together with a class of fibrant objects and a choice of weak equivalences between them. As a special case, we obtain a more flexible version of the classical right-induction theorem in the presence of an adjunction. Namely, instead of lifting the classes of fibrations and weak equivalences through the right adjoint, we now only do so between fibrant objects, which allows for a wider class of applications. We use these new tools to exhibit three examples of model structures on $mathrmDblCat$, the category of double categories and double functors. First, we recover the weakly horizontally invariant model structure introduced by the last three named authors in [MSV22b]. Next, we define a new model structure that makes the square functor $mathrmSqcolon2mathrmCatomathrmDblCat$ into a Quillen equivalence, providing a double categorical model for the homotopy theory of 2-categories. Finally, we give an example where a fibrantly-induced model structure exists, but the right-induced one does not.

This page was built for publication: Fibrantly-induced model structures

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