The fixed-endpoint path space consists of paths in a manifold with specified initial and terminal points. Smooth, piecewise smooth and Sobolev versions have the same homotopy type in the usual manifold setting. Joining a path to a fixed path back from to gives a homotopy equivalence with the based loop space.
New to topics? Read the docs here!