Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
That doesn’t look right at Via left homotopy of spectra. 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.
I think I’ve fixed it now.
Thanks for catching this. I had the labels of the two arrows switched around. Thanks.
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.
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)
1 to 5 of 5