source | link

I propose to merge and . The latter is used for the same types of questions as the former, and most questions with the latter have little to do with the stable homotopy category per se, as opposed to the model category or ∞-category of spectra.

    Post Made Community Wiki by Dmitri Pavlov