Overview
A homotopy group is a higher dimension generalization of the fundamental group. Instead of looking at equivalence classes of loops (i.e. ) then you look at homotopy classes of “higher dimension” loops i.e. .
Usually these are VERY hard to compute.