Duality and Pro-Spectra (Q1880651)

The authors define model structures for the categories of pro-objects and ind-objects in symmetric spectra, such that these model structures are Quillen equivalent through the Spanier-Whitehead duality functor, and such that the category of ind-objects is Quillen equivalent to symmetric spectra. The weak equivalences of the model structure for ind-objects are defined by requiring that the induced maps on filtered colimits are stable equivalences. The weak equivalences for the pro-objects are measured by stable homotopy classes of maps into the sphere spectrum, suitably shifted.