{"id":"arxiv/2609.11759","url":"https://arxiv.org/abs/2609.11759","tags":["math.CT","math.AT"],"score":0,"title":"A model structure for cartesian 2-fibrations","domain":"math.CT","source":"arxiv","authors":["Cesar Bardomiano Martinez","Jana K. Nickel","Maru Sarazola","Daniel Teixeira","Santiago Toro Oquendo","Paula Verdugo"],"reviews":0,"subject":"math.CT","summary":"Cartesian 2-fibrations provide a way to understand indexed categories, but their classical ``straightening'' construction requires several layers of weak coherence data. This paper develops a homotopical framework that replaces much of this bookkeeping with a fully strict model. By using marked 2-categories to record the cartesian morphisms and 2-cells, we construct a model structure whose fibrant objects are precisely the cartesian 2-fibrations over a fixed 2-category $\\mathcal{C}$. We then show that the marked Grothendieck construction identifies these 2-fibrations, up to weak equivalence,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-10","reactions":{}}