Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeFeb 9th 2016
   • PermaLink
   Author: Urs
   Format: MarkdownItexstarted something at _[[Bousfield-Friedlander model structure]]_

   started something at Bousfield-Friedlander model structure

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeMar 2nd 2016
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have expanded further the [definition](https://ncatlab.org/nlab/show/Bousfield-Friedlander+model+structure#Definition) section, just for completeness

   I have expanded further the definition section, just for completeness

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeMar 22nd 2016
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have turned the discussion of the "strict" model structure on sequential spectra form a half-sentence in the proof of the "stable" model structure into a stand-alone subsection _[The strict model structure on sequential spectra](https://ncatlab.org/nlab/show/Bousfield-Friedlander+model+structure#TheStrictModelStructure)_. Then I laboriously drew the diagrams explicitly showing that the cofibrations are what they are. (I thought I had this kind of argument spelled out long ago somewhere at _[[model structure on functors]]_ or at _[[Joyal-Tierney calculus]]_, but now I couldn't find it.)

   I have turned the discussion of the “strict” model structure on sequential spectra form a half-sentence in the proof of the “stable” model structure into a stand-alone subsection The strict model structure on sequential spectra.

   Then I laboriously drew the diagrams explicitly showing that the cofibrations are what they are.

   (I thought I had this kind of argument spelled out long ago somewhere at model structure on functors or at Joyal-Tierney calculus, but now I couldn’t find it.)

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeApr 14th 2016
   • (edited Apr 14th 2016)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have edited the beginning of the proof of the statement ([here](https://ncatlab.org/nlab/show/Bousfield-Friedlander+model+structure#StrictModelStructureOnSequentialPrespectraIsModelCategory)) of the _strict_ BF-model structure on sequential spectra. Previously the proof had started out with "consider the transferred model structure on sequential spectra, transferred from $\mathbb{N}$-sequences". Not only was that lacking the argument for why the model structure exists, but even if one sees that, it turns out not to be the most fruitful perspective. Better is to see -- and that's how I have edited the proof now -- that the category of sequential spectra is equivalently an enriched functor category, and that under this identification the strict BF-model structure is just the projective model structure on enriched functors.

   I have edited the beginning of the proof of the statement (here) of the strict BF-model structure on sequential spectra.

   Previously the proof had started out with “consider the transferred model structure on sequential spectra, transferred from $\mathbb{N}$-sequences”. Not only was that lacking the argument for why the model structure exists, but even if one sees that, it turns out not to be the most fruitful perspective.

   Better is to see – and that’s how I have edited the proof now – that the category of sequential spectra is equivalently an enriched functor category, and that under this identification the strict BF-model structure is just the projective model structure on enriched functors.

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeApr 14th 2016
   • (edited Apr 14th 2016)
   • PermaLink
   Author: Urs
   Format: MarkdownItexStarted adding some basics to a section _[Properties -- Fibrations and cofibrations](https://ncatlab.org/nlab/show/Bousfield-Friedlander+model+structure#FibrantAndCofibrantObjects)_: 1) CW-spectra are cofibrant and 2) the standard cylinder spectrum over a CW-spectrum is a good cylinder object. This may need beautifying. But later, not tonight.

   Started adding some basics to a section Properties – Fibrations and cofibrations: 1) CW-spectra are cofibrant and 2) the standard cylinder spectrum over a CW-spectrum is a good cylinder object.

   This may need beautifying. But later, not tonight.

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeApr 15th 2016
   • (edited Apr 15th 2016)
   • PermaLink
   Author: Urs
   Format: MarkdownItexokay, that last edit was the last drop, it finally made me go and split off a separate entry _[[model structure on topological sequential spectra]]_ from _[[Bousfield-Friedlander model structure]]_ (which is in simplicial sets). I had originally hoped that I could just carry the topological variant along with the simplicial one, but it's getting awkward, and so it better be in its own entry. I'll be expanding there further.

   okay, that last edit was the last drop, it finally made me go and split off a separate entry model structure on topological sequential spectra from Bousfield-Friedlander model structure (which is in simplicial sets). I had originally hoped that I could just carry the topological variant along with the simplicial one, but it’s getting awkward, and so it better be in its own entry. I’ll be expanding there further.