Elena Caviglia

Elena Caviglia

Researcher in Category Theory

Publications

Indexed Grothendieck construction

Published in Theory and Applications of Categories, Vol. 41,No. 28, pp 894-926, 2024

Joint work with Luca Mesiti. 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 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.

Download here

Principal 2-bundles and quotient 2-stacks

Published in preprint, 2024

We generalize principal bundles and quotient stacks to the two-categorical context of bisites. We introduce a notion of principal 2-bundle that makes sense for a 2-category with finite flexible limits, endowed with a bitopology. We then use principal 2-bundles to explicitly construct quotient-pre-2-stacks, which are the analogues of quotient stacks one dimension higher. In order to perform this construction, we prove that principal 2-bundles are closed under iso-comma objects and we restrict ourselves to $(2,1)$-categories. Finally, we prove that, if the bisite is subcanonical and the underlying $(2,1)$-category satisfies some mild conditions, quotient pre-2-stacks are 2-stacks.

Download here

2-stacks over bisites

Published in preprint, 2024

We generalize the concept of stack one dimension higher, introducing a notion of 2-stack suitable for a trihomomorphism from a 2-category equipped with a bitopology into the tricategory of bicategories. Moreover, we give a characterization of 2-stacks in terms of explicit conditions, that are easier to use in practice. These explicit conditions are effectiveness conditions for appropriate data of descent on objects, morphisms and 2-cells, generalizing the usual stacky gluing conditions one dimension higher. Furthermore, we prove some new results on bitopologies. The main one is that every object of a subcanonical bisite can be seen as the sigma-bicolimit of each covering bisieve over it. This generalizes one dimension higher a well-know result for subcanonical Grothendieck sites.

Download here

Generalized principal bundles and quotient stacks

Published in Theory and Applications of Categories, vol. 39, pp 567-597, 2023

We consider the internalization of the usual notion of principal bundle in a site that has all pullbacks and a terminal object. We use this notion to consider the explicit construction of quotient prestacks via presheaves of categories of principal bundles equipped with equivariant morphisms in this abstract context. We then prove that, if the site is subcanonical and the underlying category satisfies some mild conditions, these quotient prestacks satisfy descent in the sense of stacks.

Download here