摘要:在一般情况下,我们解决了opetopic弱n-范畴中的合成不唯一的问题,因此它不是一个明确定义的操作。我们通过一个(n-k)-范畴的跨度来定义在n-范畴中给定k-细胞的合成。我们将这样的细胞描述为通用的,如果它的合成跨度提供了一个(n-k)-范畴的等价性。
作者:Eugenia Cheng
论文ID:math/0304286
分类:Category Theory
分类简称:math.CT
提交时间:2007-05-23
PDF 下载: 英文版 中文版pdf翻译中