  Our aim is to give a fairly complete account on the construction of
compatible model structures on exact categories and symmetric monoidal exact
categories, in some cases generalizing previously known results. We describe
the close connection of this theory to approximation theory and cotorsion
pairs. We also discuss the motivating applications with the emphasis on
constructing monoidal model structures for the derived category of
quasi-coherent sheaves of modules over a scheme.
