Add Groupoid and Homotopy