Wiki. “幂零完备化” [幂零完备化]SimplicialCat 设 $E$ 为环谱, $X$ 为谱, 取 $X$ 的 $E$-Adams 消解 $X_\bullet \to X$, 称其同伦极限 $\lim_n X_n$ 为 $X$ 关于 $E$ 的幂零完备化 (nilpotent completion).