A continuous deformation between two maps f, g: X → Y, i.e. a map H: X × [0,1] → Y with H(·,0) = f and H(·,1) = g. Basis of homotopy equivalence and homotopy type theory.
A continuous deformation between two maps f, g: X → Y, i.e. a map H: X × [0,1] → Y with H(·,0) = f and H(·,1) = g. Basis of homotopy equivalence and homotopy type theory.