There are two constructions that look quite similar to me: the derived category of an abelian category, and the homotopy category of a model category. Is there any explicit relationship between these two constructions? (This question is related to, and indeed the inspiration for, one of my previous questionsquestions.)