Reading Group on Categorical Homotopy Theory