Lecture 8
Ch 2, Sec 2,3
Define homotopy equivalence of paths. Why is it an equivalence relation?
Define the product of paths. Show the product is associative. Define the
inverse path, and show it is an inverse with respect to the path product.
Define the fundemental group. Do not discuss the dependence of
&pi1 on the basepoint - that will be done in lecture 9.