Homotopy type (source code)

= Homotopy type

Two spaces have the same homotopy type when there is a <homotopy equivalence> between them. Their <homology> and <homotopy groups> are then isomorphic. In <Morse theory>, attaching a cell records a change in the homotopy type of a sublevel set.