Opetopic n-范畴中泛元的另一种刻画
范畴论
2007-05-23 v1
摘要
我们针对如下事实:opetopic 弱 n-范畴中的复合一般而言不唯一,因而不是一个良定义的操作。我们通过一个 (n-k)-范畴的 span 来定义与 n-范畴中给定 k-元的复合。我们刻画这样的元为泛元,如果它的复合 span 给出 (n-k)-范畴的一个等价。
关键词
引用
@article{arxiv.math/0304286,
title = {An alternative characterisation of universal cells in opetopic n-categories},
author = {Eugenia Cheng},
journal= {arXiv preprint arXiv:math/0304286},
year = {2007}
}
备注
16 pages