摘要：挤批是捆的可对偶概念。在本文中，我们证明了称为挤批分化的捆的对偶存在，这是在∞-范畴理论中的。我们还证明了∞-挤批范畴是可展示的，并且等同于一个左伴随函子的∞-范畴。
作者：Yuri Shimizu
论文ID：2106.14135
分类：Category Theory
分类简称：math.CT
提交时间：2021-12-16
PDF 下载： 英文版 中文版pdf翻译中