https://faculty.math.illinois.edu/~cmalkiew/stable.pdf
nが負の数なら[X,Y]n=[\Omega^nX,Y]と定める。
これにより負のnについて\pi_n(X)=[S,X]n=[\Omega^nS,X]と定めることができる。
Exercise.
[Z,F(S,X)]=[Z \wedge S, X]=[Z,X]より、F(S,X), Xが表現する関手は一致するので米田より。
[W, F(X \wedge Y, Z)] = [W \wedge X \wedge Y, Z]=[W \wedge X, F(Y, Z)]=[W, F(X, F(Y, Z))]となるので米田より。
[X \wedge F(X,Y), Y]=[F(X,Y) \wedge X, Y]=[F(X,Y), F(X,Y)]よりid_F(X,Y)を戻して自然な射を定める。
[X,F(Y,X \wedge Y)]=[X \wegde Y, X \wedge Y]によりidを戻して自然な射を定める。
