Where the triangulated structure was claimed without any proof or reference, I have added a pointer to the relevant spot in *Introduction to Stable Homotopy Theory*.

Then, right below that, I have `!include`

-ed the section *finite homotopy limits of spectra – section* (discussion here)

I have been adding this and that to *stable homotopy category*: more of an Idea-section (but far from complete), more variants of constructions (but far from complete), more commented references (far form complete), some quick pointers to key properties.

Not done yet.

]]>Thanks for catching this. I had the labels of the two arrows switched around. Thanks.

]]>I think I’ve fixed it now.

]]>That doesn’t look right at Via left homotopy of spectra. $\ell$ is supposed to be the forgetful functor from spectra to prespectra.

But what kind of spectra are we looking at? It seems to be coordinate-free spectrum. So then we need a definition of prespectrum.

]]>