We verify that for a finite simplicial complex $X$ and for piecewise linear loops on $X$, the "thin" loop space is a topological group of the same homotopy type as the space of continuous loops. This turns out not to be the case for the higher loops.
Research
