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.
I have added a remark (here) making explicit that the adjunction with the slice over is indeed simplicial (a fact that is not quite made explicit in Dror, Dwyer & Kan 80 )
added pointer also to
I made a note (here, still in need of polishing and proof-reading ) that for any simplicial group we have a (forgetful cofree)-Quillen adjunction
The Quillen functor property is immediate from the other propositions in the entry once we know that the cofree right adjoint exists at all, and so in the note I just spell out that right adjoint. It’s all tautological, of course, but I wanted to write it out because one can’t quite argue pointwise as for topological -spaces but needs this formula, I think.
started (here) a new subsection, recording basic properties of the projective model structure on , leading up to the Borel construction as a left derived functor
(For the moment almost straight from the last page of Guillou’s note, up to spelling out of some basic details that Guillou leaves implicit).
added pointer to:
This was in the first line here. Thanks.
I have now also fixed a grammar error further down, and added previously missing link to fine model structure on topological G-spaces.
added detailed proof (here) of monoidal model structure on , essentially by the argument of Berger & Moerdijk (2006), Lem. 2.5.2, but generalized to coefficients in any cofibrantly generated simplicial monoidal model category (beyond just ) and not forgetting to also check the unit axiom.
1 to 17 of 17