Let M be a model category that is a Grothendieck topos. Let $T$ be a multisorted finitary algebraic theory. Does there exist the right transferred model structure on the category of $T$-algebras in $M$? (coming from adjunction with $M^S$, where $S$ is the set of sorts of $T$).
Related question:What should be required from a model category so that the category of algebraic objects in it has the natural model structure?