This categorical perspective on homotopy theory helps consolidate and simplify one's understanding of derived functors, homotopy limits and colimits, and model categories, among others.