Manifolds, algebra, and homotopy