比较$n$-范畴的操作论理论
摘要：比较使用弱加强操作的n-范畴理论与以可约球状操作为代数的n-范畴之间的框架。前者的例子是Trimble和变种(Cheng-Gurski)的定义，后者的例子是Batanin和变种(Leinster)的定义。我们将展示如何将前一种n-范畴理论转化为以我们开始的n-范畴为代数的球状操作。我们首先提供了Trimble原始理论的一般化，以允许以非常一般的方式使用其他参数化操作，通过在范畴V中用参数化操作P弱加强V中的范畴的概念。我们通过使用一系列参数化操作P_i重复弱加强构造来定义弱n-范畴。然后我们展示了如何从这样的理论构造出每个n≥0的n维球状操作，其代数恰好是我们通过迭代弱加强构造出的n-范畴，并且我们展示了当操作P_i可约时得到的球状操作具有可约性。然后我们展示了Trimble拓扑定义相关的球状操作与Batanin用来定义空间的基本n-群体的球状操作之间的关系。
作者：Eugenia Cheng
论文ID：0809.2070
分类：Category Theory
分类简称：math.CT
提交时间：2008-10-05