A model structure for Grothendieck fibrations

DOI10.1016/J.JPAA.2024.107692MaRDI QIDQ6440775zbMATH OpenFDO

Authors Lyne Moser, Maru Sarazola

Publication date 19 June 2023

Full work available at URL https://doi.org/10.1016/J.JPAA.2024.107692

Mathematics Subject Classification ID

Functor categories, comma categories (18A25) Fibered categories (18D30) Homotopical algebra, Quillen model categories, derivators (18N40) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60)

Abstract: We construct two model structures, whose fibrant objects capture the notions of discrete fibrations and of Grothendieck fibrations over a category $mathcalC$. For the discrete case, we build a model structure on the slice $mathrm{Cat}_{/mathcalC}$, Quillen equivalent to the projective model structure on $[mathcal{C}^{mathrmop},mathrmSet]$ via the classical category of elements construction. The cartesian case requires the use of markings, and we define a model structure on the slice $mathrm{Cat}_{/mathcalC}^{+}$, Quillen equivalent to the projective model structure on $[mathcal{C}^{mathrmop},mathrmCat]$ via a marked version of the Grothendieck construction. We further show that both of these model structures have the expected interactions with their $infty$-counterparts; namely, with the contravariant model structure on $mathrm{sSet}_{/NmathcalC}$ and with Lurie's cartesian model structure on $mathrm{sSet}_{/NmathcalC}^{+}$.

Recommendations

• The Grothendieck construction for model categories
• Homotopies in Grothendieck fibrations
• On bifibrations of model categories
• 2-Cartesian fibrations. I: A model for \(\infty\)-bicategories fibred in \(\infty\)-bicategories
• Categorical notions of fibration

This page was built for publication: A model structure for Grothendieck fibrations

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