ああh: A → B から F(h): F(A) → F(B)が定まって、τが自然変換だから

　　τ(A)　　　α
F(A) → G(A) → A
↓F(f)　↓G(f)　↓f
F(B) → G(B) → B
　　τ(B)　　　β

全部可換になるのか