Popaths and holinks (Q847598)

The author studies the link between the spaces of popaths and of holinks in a homotopy stratified space. A stratified space is a space filtered by an increasing sequence of closed subspaces indexed over a finite poset. A popath is a continuous path which is order-preserving with respect to this filtration. A holink (for homotopy link) consists of a popath which immediately leaves a lower stratum for its final stratum destination. A homotopy stratified space is a stratified space such that the inclusions of strata satisfy additional homotopical conditions (these inclusions must be sufficiently ``nice'') and such that the evaluation map at the start point of a holink is a fibration. The main result is that the spaces of holinks and of popaths between two distinct strata are homotopy equivalent in a homotopy stratified space. The inclusion is even a special path inclusion.