Let R be a commuative ring. Consider the category of simplicial R-modules with the projective model stucture. Can someone give me a precise reference which proves that this model category is proper? Having a reference which proves other nice properties of this model category would also be good.
1 Answer
$\begingroup$
$\endgroup$
I found this in Lemma 3.1.3 of http://www.math.uni-bonn.de/people/schwede/modelspec.pdf