Model categories are used as a tool for inverting certain maps in a category in a controllable manner. They are useful in diverse areas of mathematics. This book offers a comprehensive study of the relationship between a model category and its homotopy cat