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.
have created model structure on reduced simplicial sets
(I thought I had a vague memory that this or something similarly titled already existed, but apparently it didnâ€™t).
Also added a little bit more detail on the Quillen equivalence with simplicial groups here and there, notably in the last section at groupoid object in an (infinity,1)-category
the model structure on reduced simplicial sets: is is cofibrantly generated? Does the projective model structure on functors with values in it exist?
Never mind, Danny kindly points out that it follows easily from prop. A.2.6.13 of HTT.
I have added to model structure on reduced simplicial sets statement and (immediate) proof that reduced suspension/looping (co-)restricts to a Quillen endo-adjunction on reduced simplicial sets (here)
Some questions:
Is the model structure on reduced simplicial sets still right proper?
And how about 2-reduced simplicial sets and $n$-reduced simplicial sets? Will they still carry the analogous model structures? And will they be right proper?
1 to 5 of 5