A model structure for cartesian 2-fibrations

Cesar Bardomiano Martinez, Jana K. Nickel, Maru Sarazola, Daniel Teixeira, Santiago Toro Oquendo, Paula Verdugo

arXivarxiv/2609.11759Sep 10, 2026math.CTscore 0

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,…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2609.11759
curl -X POST /api/v1/records/arxiv/2609.11759/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.11759/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'