Path space fibration (source code)

= Path space fibration
{wiki=Path_space_fibration}

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.