A path space is a mapping space for maps from the interval, a space of paths.
See also
path space object;
path groupoid;
fundamental groupoid;
loop space.