Voir la notice de l'article provenant de la source Theory and Applications of Categories website
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.
@article{TAC_2024_41_a27, author = {Elena Caviglia and Luca Mesiti}, title = {Indexed {Grothendieck} construction}, journal = {Theory and applications of categories}, pages = {894--926}, publisher = {mathdoc}, volume = {41}, year = {2024}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2024_41_a27/} }
Elena Caviglia; Luca Mesiti. Indexed Grothendieck construction. Theory and applications of categories, Tome 41 (2024), pp. 894-926. http://geodesic.mathdoc.fr/item/TAC_2024_41_a27/