Title: Category Theory for Homotopy Theory