Spanier–Whitehead 对偶 [Spanier–Whitehead对偶]

定义

通过 $\mathsf{Ani}$ 的泛性质

定义 (HA 6.3.3.2). 由于范畴 $\mathsf{Sp}^{\mathrm{op}}$ 余完备, 存在唯一的函子 $F\colon \mathsf{Ani} \to \mathsf{Sp}^{\mathrm{op}}$ 满足 $F(*) = \mathbb S$ (球谱). 此时称 $F(X)$ 为 $X$ 的 Spanier–Whitehead 对偶.