Lectures on categorical homotopy theory