move some intro to homotopy to basics