Loop (topology) (source code)

= Loop
{disambiguate=topology}
{wiki}

A loop in a <topological space> is a continuous map $\gamma:[0,1]\to X$ with $\gamma(0)=\gamma(1)$. Equivalently it is a map from the circle. A <based loop> also specifies the common endpoint as a chosen base point.