多项式单子的共尾态射与双重去环
Cofinal morphism of polynomial monads and double delooping
AI总结：
本文利用Batanin-Berger内代数分类子理论构造并证明了一个同伦共尾的多项式单子态射，为Turchin-Dwyer-Hess定理中长纽结空间显式双重去环提供了范畴化直接证明的核心概念论证。
摘要：
利用Batanin和Berger发展的内代数分类子理论，我们构造了一个多项式单子的态射，并证明该态射是同伦共尾的。随后，我们描述了这一结果如何构成Turchin-Dwyer-Hess定理的范畴化直接双重去环证明的主要概念性论证，该定理涉及长纽结空间的显式双重去环。
英文摘要：
Using the theory of internal algebras classifiers developed by Batanin and Berger, we construct a morphism of polynomial monads which we prove is homotopically cofinal. We then describe how this result constitutes the main conceptual argument for a categorical direct double delooping proof of the Turchin-Dwyer-Hess theorem concerning the explicit double delooping of spaces of long knots.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
