深さを定義するためにn-集合を定義した。n-圏に深さが定義できるとは限らないが、深さが定義できる場合は： Cがn-圏（n = 0, 1, ...）のとき、Cのすべての対象（0-射）がd-集合（d = 0, 1, 2, ...）のとき、dをCの深さと呼ぶ。 例えば： アトムだけからなる…

n-集合（n = 0, 1, 2, ...）という概念を定義する。これを定義するには「アトムを持つ集合論」とそのモデルが必要になる。例えば、ZFCをアトムを持つように修正したものをZFC+Atomとして、Vをそのモデルとすると、アトムのクラスVatomがある。アトムを持つ集…