Corollary 11.3.3. Let \(X\) be a finite anima. Then the spectrum \(\S [X]\) is dualizable.

Proof. The collection of animae \(X\) for which \(\S [X]\) is dualizable is closed under finite colimits and contains \(* \in \An \); consequently it contains all finite animae. □

Generated from the authoritative LaTeX source.