Showing changes from revision #3 to #4:
Added | Removed | Changed
Idea
Definition
A prespectrum spectrum is (or a sequence ofpointed types? -spectrum ) and is a sequence of pointed mapsprespectrum . Typically a prespectrum is denoted when in it which is each clear. pointed map is an equivalence.
A spectrum (or -spectrum) is a prespectrum in which each is an equivalence.