Weak homotopy equivalence (source code)

= Weak homotopy equivalence
{wiki}

A map is a weak homotopy equivalence when it induces a bijection on path components and isomorphisms on every based homotopy group.