arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 0909.4715math.CTmath.AT
收藏

作为丰富范畴的高阶运算代数II

Algebras of higher operads as enriched categories II

Michael Batanin, Denis-Charles Cisinski, Mark Weber

摘要:

系统地构造Gray张量积的高维类似物是高阶范畴理论中的一个开放问题。在本文中,我们继续[7]的工作,使球状运算[4]的机制适应这项任务。所得到的理论包括2-范畴的Gray张量积和Gray范畴的Crans张量积[12]。此外,许多以前的工作的球形方法高阶范畴理论简化了我们的新的基础,我们说明了这一点,通过加快帐户的许多方面的郑的分析[11] Trimble的定义的弱n-范畴。作为应用,我们得到了辫子monoidal 2-范畴的一个“Ekmann-Hilton”结果,并给出了A-无穷代数的一个张量积的构造.

英文摘要:

One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we continue the work of [7] to adapt the machinery of globular operads [4] to this task. The resulting theory includes the Gray tensor product of 2-categories and the Crans tensor product [12] of Gray categories. Moreover much of the previous work on the globular approach to higher category theory is simplified by our new foundations, and we illustrate this by giving an expedited account of many aspects of Cheng's analysis [11] of Trimble's definition of weak n-category. By way of application we obtain an "Ekmann-Hilton" result for braided monoidal 2-categories, and give the construction of a tensor product of A-infinity algebras.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑