Left determined model structures for locally presentable categories (Q409249)

Denis-Charles Cisinski has classified cofibrantly generated model structures on a presheaf topos for which the cofibrations are the class of monomorphisms. In the presence of a suitable functorial cylinder, these model structures are given by explicit construction. The weak equivalences in such model structures are called localizers. A model structure of this type is ``left determined'' if the localizer is the smallest class of maps satisfying certain closure conditions. This paper extends these results to locally presentable categories and more general classes of cofibrations. The key technical tool is a theorem of Jeff Smith which gives conditions under which a set of generating cofibrations and a class of weak equivalences in a locally presentable category determine a cofibrantly generated model structure. Given a set of generating cofibrations so that all objects are cofibrant and a cartesian cylinder, a functorial cylinder whose functor is a left adjoint satisfying a technical condition, an arbitrary set \(S\) of cofibrations determines an explicit model structure. Under an additional condition on the cylinder factorization, the localizer so-produced is the smallest containing the set \(S\) and compatible with the given cofibrations. When \(S\) is empty, this yields the left determined model structure of the title. The paper concludes with a discussion of several explicit examples.