ご回答どうもありがとうございます。

>> い"とはどういうことか定義されてませんが)
> 勿論, metagraph でも, 射が等しいかどうかは判定できる
> ことが前提されています.

納得です。"等しい"という概念も予め定義されなければならないのですね。

>> かを決めてから2つの射は等しいので可換であるとかいうのでしょうか???
> 図式が可換であるとは, 各経路それぞれについて
> いくつかの射の合成により定まる射それぞれが,
> どの経路についても同じ射であるということです.
> 当然, 射について, 同じ射であるかどうかが判定できる
> ことは前提されています. 射の class A が与えられて
> いる, ということにおいて, そのことは given である,
> と言ったのです.

ありがとうございます。お蔭様で解決できました。


吉田京子