>>631
カテゴリーってのは集合の話な
イコールじゃないっていって何が悪いわけ?