Computer Science and Homotopy Theory