Dualidad de Spanier–Whitehead
Definición
Una dualidad en la teoría de la homotopía estable que asigna a un complejo CW finito (o compacto) un objeto dual en la categoría de homotopía estable de modo que los mapas desde el producto smash con el dual hacia el espectro esfera se identifican con mapas salientes del complejo original; informalmente, los complejos finitos tienen duales estables representados por los complementos apropiadamente