Atlas/Analysis/Topology
1/4
A loop is a path that starts and ends at a basepoint. Homotopy lets you wiggle it.