１．集合の圏 ここまで集合に関する圏について論じてきたが、それらをいったん整理してみる。圏の定義は次のようになっていた。(1) 対象 圏は対象を有する。対象は、通常は大文字を用いて、\(A,B,C,..\)と表す。(2) 射 圏は対象（複数の場合も可）から対象（…