A notion in algebraic topology that provides a way of classifying space, quotienting by homotopic maps.
See also
Homotopy Type Theory Homotopy Group Path Equivalence Homotopy Equivalence
A notion in algebraic topology that provides a way of classifying space, quotienting by homotopic maps.
Homotopy Type Theory Homotopy Group Path Equivalence Homotopy Equivalence