命題
C を圏（>>660）とする。
S と T を集合とし |S| = |Ob(C)|、|T| = |Hom(C)| とする。
ここで、|S| は集合 S の濃度を表す（過去スレpart1の180）。
このとき、C と同型（>>670）な圏 D で S = Ob(D)、T = Hom(D) となるものが存在する。

証明
ほとんど自明である。