摘要：整洁对称多范畴的范畴的定义及其构造 中的每一个整洁对称多范畴 Q 都构建了一个笛卡尔单子（E_Q, T_Q）并将该分配扩展为一个函子 中的对称多范畴上的切片构造和适当单子上的“自由填充”单子构造之间的关系提供了一个显式描述贝兹-多兰和琳德斯特中 opetopes 之间关系的方式
作者：Eugenia Cheng
论文ID：math/0304279
分类：Category Theory
分类简称：math.CT
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中