 Loop (topology)

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.