>>118
もちろん知った上での質問ですよ。
たとえば、対象として集合、
射として部分関数(f:A->BでfはAの部分集合で定義されている)
合成として通常の合成をとったとき、

これは、英語版Wikipediaでは、圏だが、
日本語版Wikipediaでは、圏ではないわけです。
どちらが一般的か？