Hello! I am a bit confused about the definition of homotopy for loops. So it looks like: Let ##\alpha, \beta : I -> X## be loops at ##x_0##. They are said to be homotopic if there is a continuous map ##F : I \times I -> X## such that: ##F(s,0)=\alpha (s), F(s,1)=\beta(s), F(0,t)=F(1,t)=x_0## for...