Loop-space shift of homotopy groups (source code)

= Loop-space shift of homotopy groups

For a based space $X$, adjunction gives
$$
\pi_i(\Omega X)\cong\pi_{i+1}(X).
$$