Spanier-Whitehead dual
= Spanier-Whitehead dual
{c}
{title2=$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.