Scope boundary for stable homotopy theory

This page proves no value of a positive stable stem. It also does not prove Brown representability, a stable model structure, a fibrant or cofibrant replacement theorem, localization at stable weak equivalences, or the existence of a stable homotopy category.

Here stable weak equivalence means only the definition already given for a strict map: isomorphism on ${\pi }_k$ for every $k\in \mathbb{Z}$. That condition must not be silently replaced by levelwise homotopy equivalence, strict levelwise homotopy, or invertibility in an unconstructed category.

Later pages may use the sequential-prespectrum definitions, their colimit groups, the corrected shift bookkeeping, and products arising from explicit pairings. Any use of replacement, localization, Brown representability, or a calculated positive sphere stem needs a separate supplier.