Spanier–Whitehead duality

GPTKB entity