Spanier-Whitehead dual ($A^{\vee }$)

The Spanier-Whitehead dual of a finite spectrum $A$ is $A^{\vee }=F(A,\mathbb{S})$. It is finite, and evaluation and coevaluation give the natural Spanier-Whitehead duality adjunction.

For a finite spectrum $A$, evaluation and coevaluation identify $[B,D\wedge A{]}_{\mathrm{st}}$ with $[B\wedge A^{\vee },D{]}_{\mathrm{st}}$. Cellular induction constructs the dual from the duals of stable cells and verifies these identities across cofiber sequences of spectra. In particular ${\pi }_k(D\wedge A)=[{\Sigma }^k{A}^{\vee },D{]}_{\mathrm{st}}$.