Skip to main content
2 of 3
added 1 character in body

Right transferred model structure on the category of algebras in the Grothendieck topos

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$? (in the sense 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?