forked from lucamesiti/lucamesiti.github.io
-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
91b625c
commit 372e3f4
Showing
1 changed file
with
5 additions
and
6 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,11 +1,10 @@ | ||
--- | ||
title: "A notion of 2-stack" | ||
title: "2-stacks over bisites" | ||
collection: publications | ||
permalink: #/publication/2009-10-01-paper-title-number-1 | ||
excerpt: 'A stack is a bicategorical generalization of a sheaf. It is a pseudofunctor, which is a sheaf on morphisms and is able to glue families of objects that are compatible under descent up to coherent isomorphisms. As this notion has been proven very useful in different areas of mathematics, especially in algebraic geometry and differential geometry, one could wonder whether it is possible to generalize it to one dimension higher. | ||
The idea is that of a tricategorical sheaf, that now glues families of objects that are compatible under descent up to coherent adjoint equivalences. Taking inspiration from a characterization of stack due to Ross Street, we define what it means for a trihomomorphism F from a 2-category to Bicat to be a 2-stack. For this, we will need to endow K with a 2-dimensional topology, that will be given using 2-dimensional sieves. After proposing an abstract definition of 2-stack, we will translate it into more explicit conditions, obtaining a definition which is more similar to the one of stack. The abstract definition will guide us to require the right coherences. ' | ||
date: 2024-01-01 | ||
venue: 'In preparation' | ||
paperurl: '' | ||
excerpt: '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.' | ||
date: 2024-03-12 | ||
venue: 'preprint submitted' | ||
paperurl: 'https://arxiv.org/abs/2403.08030' | ||
citation: #'Your Name, You. (2009). "Paper Title Number 1." <i>Journal 1</i>. 1(1).' | ||
--- |