次の圏は identity-on-objects に圏同型。 Preord over |Set| ThinCat over |Set| AssocRefSimpGraph over |Set| 次の圏は identity-on-objects に圏同型。 Rel ： 関係圏 over |Set| BMat ： ブール行列の圏 over |Set| SimpBiQuiv ： 単純二部箙の圏 over …