作为丰富范畴的高阶操作子代数 II
范畴论
2010-04-21 v2 代数拓扑
摘要
高阶范畴论中的一个开放问题是系统性地构造Gray张量积的高维类比。在本文中，我们继续[7]的工作，将球状操作子[4]的机制应用于此任务。由此产生的理论包括2-范畴的Gray张量积和Gray范畴的Crans张量积[12]。此外，我们新的基础简化了之前关于球状方法研究高阶范畴论的许多工作，我们通过快速阐述Cheng对Trimble弱n-范畴定义的分析[11]的许多方面来说明这一点。作为应用，我们获得了辫子幺半2-范畴的一个“Eckmann-Hilton”结果，并给出了A-无穷代数的张量积的构造。
引用
@article{arxiv.0909.4715,
title = {Algebras of higher operads as enriched categories II},
author = {Michael Batanin and Denis-Charles Cisinski and Mark Weber},
journal= {arXiv preprint arXiv:0909.4715},
year = {2010}
}
备注
66 pages. In version 2 we corrected the explicit construction of coequalisers in categories of algebras from section 7 of version 1. The new appendices discuss the background on these transfinite constructions more fully.