canonical homotopy group