The goal of this chapter is to develop a very general method for constructing (functorially) complete cotorsion pairs in exact categories. In essence we develop an algebraic version of Quillen’s small object argument for cotorsion pairs. This naturally leads us to the notion of cofibrantly generated cotorsion pairs and abelian model structures. The approach taken here is inspired by Saorin and Stovicek’s notion of an efficient exact category. We generalize this idea a bit more by considering classes of objects that we say are efficient relative to the exact structure. We show that with mild hypotheses on the exact category, any efficient set (not a proper class) of objects cogenerates a functorially complete cotorsion pair. Along the way we prove results about generators for exact categories, and use them to construct generating monics for cotorsion pairs. We also prove Eklof’s Lemma, and its dual, for exact categories, and give general conditions guaranteeing that the left side of a cotorsion pair is closed under direct limits.

This chapter considers exact structures, cotorsion pairs, and ultimately exact model structures on accessible categories. It is shown that the homotopy category of a cofibrantly generated abelian model structure on an accessible exact category is well generated in the sense of Neeman.