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 [questions][1].) [1]: http://mathematics.stackexchange.com/questions/141/model-category-structures-on-categories-of-complexes-in-abelian-categories