双初对象和双表示并不那么不同
摘要：从双范畴中提取一个对象和态射为竖直态射和方块的二范畴的函子V的引入. 我们给出了一个普通伪函子F的双双初始对象的表征, 其中F: Cop—>Cat, 通过F的元素范畴E(F)或者等价地说在F的态射的二范畴V·E(F)中的具有特定形式的双双初始对象. 尽管在一般情况下这不是真实的, 但在特殊情况下, 当二范畴C具有张量积由范畴2: {0-->1} 定义, 并且F保持这些张量积, 我们证明了对于F的一个双略表述将正好是在F的元素范畴E(F)的二范畴BF（E）中的一个双双初始对象. 我们给出了这个理论在双伴随和加权双极限中的应用.
作者：Tslil Clingman and Lyne Moser
论文ID：2009.05545
分类：Category Theory
分类简称：math.CT
提交时间：2022-04-15