Algebraic homotopy: Difference between revisions