English

Indexed Grothendieck construction

Category Theory 2024-08-19 v2

Abstract

We produce an indexed version of the Grothendieck construction. This gives an equivalence of categories between opfibrations over a fixed base in the 2-category of 2-copresheaves and 2-copresheaves on the Grothendieck construction of the fixed base. We also prove that this equivalence is pseudonatural in the base and that it restricts to discrete opfibrations with small fibres and copresheaves. Our result is a 2-dimensional generalization of the equivalence between slices of copresheaves and copresheaves on slices. We can think of the indexed Grothendieck construction as a simultaneous Grothendieck construction on every index that takes into account all bonds between different indexes.

Keywords

Cite

@article{arxiv.2307.16076,
  title  = {Indexed Grothendieck construction},
  author = {Elena Caviglia and Luca Mesiti},
  journal= {arXiv preprint arXiv:2307.16076},
  year   = {2024}
}

Comments

Final version, published in Theory and Applications of Categories

R2 v1 2026-06-28T11:43:34.966Z