>>136
漠然としていてそれでは分からない
自然変換は
2つのファンクターF,Gについて
n(X):F(X)→G(X)
　F(f):↓ G(f):↓
n(Y):F(Y)→G(Y)
を可換にするように定義されるnのこと
という具合に示して