多项式单子与映射空间的去圈

摘要

我们将一些经典结果（如奎伦定理A、格罗森迪克构造、托马森定理和同伦余尾函子的特征）从小范畴同伦理论推广到多项式单子及其代数。

作为应用，我们给出了Dwyer–Hess和Turchin关于长节空间显式双去圈结果的分类证明。