This book offers a comprehensive study of the relationship between a model category and its homotopy category. It develops the theory of model categories, giving a development of the main examples.