Indexed Grothendieck construction
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913469422370816 |
|---|---|
| author | Caviglia, Elena Mesiti, Luca |
| author_facet | Caviglia, Elena Mesiti, Luca |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2307_16076 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Indexed Grothendieck construction Caviglia, Elena Mesiti, Luca Category Theory 18D30, 18N10, 18F20, 18B25, 18A30 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. |
| title | Indexed Grothendieck construction |
| topic | Category Theory 18D30, 18N10, 18F20, 18B25, 18A30 |
| url | https://arxiv.org/abs/2307.16076 |