No products in the basket.
Paths, Loops, and Homotopy
Definitions, path-connectedness, homotopy between paths.