In this lecture I begin the proof that the left derived functor of a functor out of a model category exists under conditions that generalize that satisfied in the example at the end of the previous lecture.   I construct the induced functor, leaving the construction of the required natural transformation to the next lecture.