Path space fibration is a concept from algebraic topology dealing with the relationships between spaces and the paths they contain. Specifically, a path space fibration typically involves considering a fibration whose fibers are path spaces.
Articles by others on the same topic
Let consist of paths starting at the chosen basepoint of . Endpoint evaluation is a fibration , and is contractible by shortening each path. Pulling it back along a map gives its homotopy fibre, after reversing the chosen path direction if needed. This makes an acyclic relative Sullivan algebra modelling useful for explicit rational fibre calculations.