Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeFeb 9th 2016
    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMar 2nd 2016

    I have expanded further the definition section, just for completeness

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMar 22nd 2016

    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.)

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeApr 14th 2016
    • (edited Apr 14th 2016)

    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.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeApr 14th 2016
    • (edited Apr 14th 2016)

    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.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeApr 15th 2016
    • (edited Apr 15th 2016)

    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.