The group of loops based at a point, up to homotopy.