arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 2102.00634math.CTmath.AT
收藏

矩范畴和操作数

Moment categories and operads

Clemens Berger

摘要:

一个矩范畴被赋予了一组独特的分裂幂等元,称为矩,它们可以沿着态射进行迁移。等价地,矩范畴是一个具有满足两个简单公理的主动/惰性因子分解系统的范畴。这些公理意味着一个固定物体的矩形成一个幺半群,实际上是一个左正则带。每一个局部有限的单位矩范畴定义了一种特定类型的操作数,它记录了将矩划分为初等矩的组合学。这样,对称、非对称和$n$ -操作数的概念分别对应于$Γ$、$Δ$和$Θ_n$上的单位矩结构。有一个类似于Baez-Dolan的加号构造,把一个单位矩范畴$\mathbb{C}$变成一个单位超矩范畴$\mathbb{C}^+$。在这种构造下,$\mathbb{C}$ -操作被标识为$\mathbb{C}^+$ -幺半群,即满足严格Segal条件的$\mathbb{C}^+$上的预层。我们证明了Segal范畴$Γ$的加结构嵌入Moerdijk-Weiss的树状范畴$Ω$.

英文摘要:

A moment category is endowed with a distinguished set of split idempotents, called moments, which can be transported along morphisms. Equivalently, a moment category is a category with an active/inert factorisation system fulfilling two simple axioms. These axioms imply that the moments of a fixed object form a monoid, actually a left regular band. Each locally finite unital moment category defines a specific type of operad which records the combinatorics of partitioning moments into elementary ones. In this way the notions of symmetric, non-symmetric and $n$-operad correspond to unital moment structures on $Γ$, $Δ$ and $Θ_n$ respectively. There is an analog of the plus construction of Baez-Dolan taking a unital moment category $\mathbb{C}$ to a unital hypermoment category $\mathbb{C}^+$. Under this construction, $\mathbb{C}$-operads get identified with $\mathbb{C}^+$-monoids, i.e. presheaves on $\mathbb{C}^+$ satisfying strict Segal conditions. We show that the plus construction of Segal's category $Γ$ embeds into the dendroidal category $Ω$ of Moerdijk-Weiss.

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

↑