>>120
クラスの定義がはっきりしないので圏の定義もはっきりしない。
従って圏同型自体はっきりしない概念だから。