Manifolds, homotopy theory, and related topics