>>804
変換θとは、θ={θ(A)|A ∈|C|}なる集合（類）であり、
θ(A)は、θ(A):F(A)->G(A) なる射だ。
対応という言葉を使うなら、変換θはあくまで、関手から関手への対応であり、
変換のコンポネントθ(A)は、対象F(A)から対象G(A)への対応だ。