post: homotopy study