Overview
Two continuous maps are homotopic if (informally) we can continuously deform one into the other. We do this by adding another parameter that varies along an interval that “shows” the deformation.
Definition
For two continuous maps
Such that
We call