Based homotopy
= Based homotopy
A based homotopy between based loops keeps both endpoints fixed at the base point throughout the deformation.
= Based homotopy
A based homotopy between based loops keeps both endpoints fixed at the base point throughout the deformation.