Homotopy (source code)

= Homotopy
{wiki}

= Homotopic
{synonym}

A homotopy between maps $f,g:Y\to X$ is a continuous map $H:Y\times[0,1]\to X$ with $H(y,0)=f(y)$ and $H(y,1)=g(y)$.