There is a well-known theorem for transporting a model category structure along a left adjoint $F:\mathcal{M}\to \mathcal{N}$ which is explained here and which is due to Sjoerd Crans.

The difficult part is to check the third condition. By Axiomatic homotopy theory for operads (2.6), it suffices to check that $\mathcal{N}$ has a functorial fibrant replacement and a functorial path-object for fibrant objects. This paper cites as references:

- D. G. Quillen, Homotopical algebra, Lect. Notes Math. 43 (1967) Theorem II.4
- Every homotopy theory of simplicial algebras admits a proper model, Theorem 7.6
- Algebras and modules in monoidal model categories, Theorem A.3

The first reference is about the construction of a model category structure on the category of simplicial objects of a category satisfying some conditions. The second reference is a "useful lemma" Lemma 7.6. As for the third reference, I just can't find where is Theorem A.3.

Could someone give a reference for the proof of this fact (or the proof) ?