作为小立方体 operad 上余代数的迭代悬垂的识别原理

我们的主要结果是将迭代悬垂识别为小圆盘 operad 上的余代数。给定一个拓扑 operad，我们构造一个赋予楔积的点拓扑空间中的余单子。然后我们证明一个逼近定理，表明与小 $n$-立方体 operad 相伴的余单子弱等价于由悬垂-环路空间伴随对产生的余单子 $\Sigma^n \Omega^n$。最后，我们的识别定理指出每个小 $n$-立方体余代数同伦等价于一个 $n$ 重悬垂。这些结果是 May 关于迭代环路空间的基础性结果的 Eckmann--Hilton 对偶。