圏論はNBGで定義するのが普通
そこでは普通にクラスが実体を持って登場し
矛盾が起こらないよう慎重に構成を考えている