>>674
うん遊んでいるのだが、うまく遊べないのです。

つまり，通常、自然変換は以下のように定義される。
F,G:関手(圏C->圏D)とする。
FからGへの自然変換とは、
(1) {射t(x):Fx->Gx | x∈obj(C)} であって、
(2) 可換図式（省略）を満たすもの

ここで，F,Gが関手であることと(1)とから、(2)は導出されるのではないか、
と思うんだが、どこで間違っているのか分らんのです〜〜〜