arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2403.08030math.CTmath.AG
收藏

双位点上的2-叠

2-stacks over bisites

Elena Caviglia

AI总结:

本文提出2-叠概念,将叠推广到高一维,给出显式有效性条件刻画,并证明子典范双位点对象为覆盖双筛的sigma-双余极限,推广了经典结果。

摘要:

我们将叠的概念推广到高一维,引入了一种2-叠的概念,该概念适用于从配备双拓扑的2-范畴到双范畴的三范畴的trihomomorphism。此外,我们给出了2-叠的显式条件刻画,这些条件在实践中更易于使用。这些显式条件是对象、态射和2-胞腔上适当下降数据的有效性条件,将通常的叠粘合条件推广到高一维。进一步地,我们证明了关于双拓扑的一些新结果。其中主要结果是,子典范双位点的每个对象都可以看作其上的每个覆盖双筛的sigma-双余极限。这将在子典范Grothendieck位点上已知的结果推广到高一维。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑