>>685
ということは、
(1) 自然変換とは、{ 射ηx: Fx->Gx | x∈obj(C) } のことである。
この(1)から、
(2) 圏Cの任意の射f:x->yについて、G(f)・ηx = ηy・F(f)
は導出されるのであって，自然変換の定義は、(1)かつ(2)なのではない、
という理解でいい？