弱 n-范畴:opetopic 基础的比较
范畴论
2007-05-23 v1
摘要
我们定义整洁对称多重范畴的范畴。我们对每个整洁对称多重范畴 Q 构造一个笛卡尔单子 (E_Q,T_Q),并将此指派扩充为一个函子。我们展示对称多重范畴上的切片构造与适当单子上的“自由 operad”单子构造之间的关系。我们利用此给出 Baez-Dolan 与 Leinster opetope 之间关系的显式描述。
引用
@article{arxiv.math/0304279,
title = {Weak n-categories: comparing opetopic foundations},
author = {Eugenia Cheng},
journal= {arXiv preprint arXiv:math/0304279},
year = {2007}
}
备注
31 pages