∞-Operads as Analytic Monads
∞-Operads as Analytic Monads
复制标题
-作为分析单子的操作
DOI：
10.1093/imrn/rnaa332
复制
发表时间：
2021
影响因子：
1
通讯作者：
Kock, Joachim
中科院分区：
文献类型：
--
作者：
Gepner, David;Haugseng, Rune;Kock, Joachim
我们开发了多项式和解析函子、初始代数和自由单子的经典理论的分类版本。使用这种机制，我们提供了一种新的操作数模型，即作为分析单子的操作数。我们通过证明分析单子的范畴等同于树状 Segal 空间的范畴来证明这个定义的合理性，已知树状 Segal 空间等同于其他现有的操作数模型。
We develop an-categorical version of the classical theory of polynomial and analytic functors, initial algebras, and free monads. Using this machinery, we provide a new model for-operads, namely-operads as analytic monads. We justify this definition by proving that the-category of analytic monads is equivalent to that of dendroidal Segal spaces, known to be equivalent to the other existing models for-operads.
登录
查看更多内容
DOI：
--
发表时间：
2004
期刊：
影响因子：
--
作者：
Mark Weber
通讯作者：
Mark Weber
具有对称性的数据类型和群形上的多项式函子
DOI：
--
发表时间：
2012
期刊：
arXiv.org
影响因子：
--
作者：
Joachim Kock
通讯作者：
Joachim Kock
V-cat 和 V-graph
DOI：
--
发表时间：
1974
期刊：
影响因子：
--
作者：
Harvey Wolff
通讯作者：
Harvey Wolff
作为多项式 2-单子的运算
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
Mark Weber
通讯作者：
Mark Weber
关于 monad 和 monadic functor 之间的等价
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
Hadrian Heine
通讯作者：
Hadrian Heine