Concatenation of loops and paths (homotopy)