# Proper Model Category

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

I found this in Lemma 3.1.3 of http://www.math.uni-bonn.de/people/schwede/modelspec.pdf