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
    • CommentTimeMar 17th 2018
    • (edited Mar 17th 2018)

    I have given Grothendieck construction for model categories its own entry, in order to have a place for recording references. In particular I added pointer to the original references (Roig 94, Stanculescu 12)

    (There used to be two places in the entry Grothendieck construction where an attempt was made to list the literature on the model category version, but they didn’t coincide and were both inclomplete. So I have replaced them with pointers to the new entry.)

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 15th 2019

    Added definition of the model structure.

    diff, v2, current

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 15th 2019

    Also added the statement that it presents the (,1)(\infty,1)-Grothendieck construction.

    diff, v2, current

    • CommentRowNumber4.
    • CommentAuthorTim_Porter
    • CommentTimeApr 17th 2020

    Added in a link to paper by Cagne and Mellies.

    diff, v5, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeApr 23rd 2023
    • (edited Apr 23rd 2023)

    The following ought to be true, I have added a first version of a proof here (labeled “tentative”, still need to polish and double-check):

    Let 𝒞\mathcal{C} be a combinatorial simplicial model category in which all objects are cofibrant. Then then pseudofunctor on the model category of simplicial groupoids which sends a simplicial groupoid 𝒳\mathcal{X} to the projective model structure on simplicial functors from 𝒳\mathcal{X} to 𝒞\mathcal{C}

    sGrpd ModCat 𝒳 sFunc(𝒳,𝒞) proj f f! 𝒴 sFunc(𝒴,𝒞) proj \array{ sGrpd &\longrightarrow& ModCat \\ \mathcal{X} &\mapsto& sFunc(\mathcal{X},\,\mathcal{C})_{proj} \\ \Big\downarrow\mathrlap{^f} && \Big\downarrow\mathrlap{^f_!} \\ \mathcal{Y} &\mapsto& sFunc(\mathcal{Y},\,\mathcal{C})_{proj} }

    is relative and proper, hence the integral model structure on the category of parameterized 𝒞\mathcal{C} objects

    𝒞 sGrpd𝒳sGrpdsFunc(𝒳,𝒞) proj \mathcal{C}_{sGrpd} \;\;\coloneqq\;\; \underset{\mathcal{X} \in sGrpd}{\int} sFunc(\mathcal{X},\,\mathcal{C})_{proj}

    exists.

    diff, v9, current

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeApr 26th 2023
    • (edited Apr 26th 2023)

    I have fine-tuned the proof further (here), and generalized the setup and statement.

    Even though the cofibrancy assumption is pretty strong, the statement does apply (as far as its proof is correct) to three pleasant examples (now listed here).

    I will later polish the write-up further, but need to go offline now for a while.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeMay 12th 2023
    • (edited May 12th 2023)

    I had scratched the previous text under “Examples” after all, and am starting afresh now (here), for the moment just with two elementary examples (here):

    (1.) model structures on indexed sets of objects in a given model category, and

    (2.) the specialization of this example to the case of skeletal simplicial groupoids.

    diff, v42, current

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeMay 17th 2023

    added a remark (here) on the (co)fibrant objects in the integral model structure on a free coproduct completion

    diff, v45, current