$omega$-自同态的Coendomorphisms的Operads的高阶结构
摘要:关于弱 $ω$-范畴的一个类似属性是高阶范畴理论在球形背景下的主要假设之一。本文中我们展示了在球形背景下,有一个作用于弱 $ω$-范畴、弱 $ω$-函子、弱 $ω$-自然变换等的球形 $ω$-操纵组。因此,要证明这个假设,还需要证明这个 $ω$-操纵组在 Batanin 的意义下是收缩的。为了构造这样的 $ω$-操纵组,我们引入了更通用的技术,并提出了一个具有分形属性的 $ω$-操纵组的定义。如果一个 $ω$-操纵组 $B^{0}\_P$ 具有这个属性,则可以定义所有更高的 $B^{0}\_P$-变换的球形集合,并且,此球形集合还具有 $B^{0}\_P$-代数结构。
作者:Kachour Camell
论文ID:1211.2310
分类:K-Theory and Homology
分类简称:math.KT
提交时间:2012-11-13