Categorical Homotopy Theory