Homotopy fiber (source code)

= Homotopy fiber
{wiki}

The homotopy fiber of $f:X\to Y$ over $y_0$ consists of pairs $(x,\gamma)$ where $\gamma$ is a path from $f(x)$ to $y_0$. It replaces an ordinary fiber by a homotopy-invariant construction.