Path Equivalence