迭代代数注入性与忠实猜想
摘要：代数注入性是为了捕捉类似于代数Kan复合体的同伦结构而引入的。但在一个更简单的层面上，它允许描述没有方程的操作集合。如果希望添加方程（或更复杂的操作），那么自然考虑迭代的代数注入性，我们在本文中引入并研究了这一概念。我们的主要应用涉及格罗滕迪克的弱omega-群组，其在Pursuing Stacks中引入，并与Maltsiniotis提出的弱omega-范畴的定义密切相关。通过omega迭代，我们将它们描述为迭代的代数注入性，并通过这种对应关系证明了Maltsiniotis的忠诚度猜想。通过Ara的工作，这意味着Maltsiniotis的弱omega-范畴与Batanin/Leinster的弱omega-范畴之间存在着密切的对应关系。
作者：John Bourke
论文ID：1811.09532
分类：Category Theory
分类简称：math.CT
提交时间：2022-01-31