https://faculty.math.illinois.edu/~cmalkiew/stable.pdf
exercise.
(\Sigma X) \wedge Y = (\Sigma^\infty S^1) \wedge X \wegde Y = \Sigma(X \wedge Y)
\OmegaF(X,Y) = F(\Sigma^\infty S^1, F(X,Y)) = F(\Sigma^\infty S^1 \wedge X, Y) =F(\Sigma X, Y)
F:C \to Dが自然変換F(X) \otimes F(Y) \to F(X \otimes Y), I_D \to F(I_C)をもち
unit, assoc, symmと交換するとする。
このとき、Fはmonoidをmonoidに移す。
\mu:M \otimes M \to M, i:I \to Mとする。
このとき、F(\mu):F(M \otimes M) \to MはF(M) \otimes F(M) \to F(M \otimes M)と合成することでF(M)の積を定め、F(i)も同様に単位元を定める。
自然性から図式は可換になる。