This is just a question about notation - probably useless, but it's always baffled me:
Why was $\Omega$ chosen to denote the based loop functor? (e.g. for a pointed topological space $X$, $\Omega X$ is the space of based loops on $X$.)
I once heard someone speculate: "It's because $\Omega$ looks like... a loop? "
If true, clever choice! Can anyone verify and/or know more?