论文标题
两个限制和2端对象太不同了
2-limits and 2-terminal objects are too different
论文作者
论文摘要
在普通类别理论中,已知极限等效于圆锥片类别中的终端对象。在本文中,我们证明了该定理的2类类似物与2个片段的2类分类中的两种选择相关的2端对象和2端对象是错误的。此外,我们表明,即使将2孔削弱到伪自然变化或考虑双型限制和双末端对象时,仍然没有这种对应关系。
In ordinary category theory, limits are known to be equivalent to terminal objects in the slice category of cones. In this paper, we prove that the 2-categorical analogues of this theorem relating 2-limits and 2-terminal objects in the various choices of slice 2-categories of 2-cones are false. Furthermore we show that, even when weakening the 2-cones to pseudo- or lax-natural transformations, or considering bi-type limits and bi-terminal objects, there is still no such correspondence.