$\infty$-操作代数的伸直-拉直等价

我们为Lurie形式主义中的$\infty$-操作代数提供了一个伸直-拉直伴随对，并证明它建立了$\infty$-操作代数$\mathcal{O}^\otimes$上的操作左纤维化$\infty$-范畴与空间中的$\mathcal{O}^\otimes$-代数$\infty$-范畴之间的等价。为此，我们证明了Hinich-Moerdijk比较函子诱导了$\infty$-操作代数上的操作左纤维化与树状左纤维化$\infty$-范畴之间的等价，并且我们刻画了对于任何对称幺半$\infty$-范畴$\mathcal{C}^\otimes$，限制在强幺半函子$\mathcal{C}^\otimes\to \mathcal{S}^\times$上的幺半拉直函子的本质像。