Category:Equivalence of Definitions of Locally Path-Connected Space