Based loop (source code)

= Based loop

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