A bit of light googling turns up several sources asserting that the model structure on simplicial commutative algebras over a ring is left proper (for example, 2.9 in Charles Rezk's paper Every homotopy theory of simplicial algebras admits a proper model). Does a proof of this fact occur anywhere in the literature?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
