= Based loop A based loop in $(X,x_0)$ is a path $\alpha:[0,1]\to X$ whose two endpoints are $x_0$.
Back to article page