Wiki. “Spanier–Whitehead 对偶” [Spanier--Whitehead对偶]SimplicialCat 迷神: 在谱的对称幺半范畴中 $\Sigma_+^\infty (M)$ 和 $\operatorname{Th}(-TM)$ 互为对偶.