∞-拓扑的左正合局部化 III：无环积

我们在高阶拓扑的左正合局部化偏序集上定义了一种交换幺半群结构，称之为无环积。我们的方法立足于拓扑的左正合局部化偏序集与交换环的理想偏序集之间的结构类比。无环积类似于理想之积。给定左正合局部化的幂序列定义了一座局部化塔。我们展示了这如何在非稳定同伦设定中重现Goodwillie演算的塔。我们由此将$n$-切除函子的拓扑描述为对$n$-幂零对象的分类。