>>150
必要じゃないですが自然変換を Func(C, D) の射として捕らえる視点は
重要だと思います。
Grothendieckは自然変換を functorial morphism と呼んでますよね。
私も natural transformation よりこちらの呼び名が好きなんですが
英語圏では一般的ではないですね。