>>92
∪VBα
がクラスとして定義できることに反論してないんだがね
VBの定義は
α<β
についての
i:VBα→VBβ
のcolimit
それは
VBα⊂VBα+1
ではなく
i:VBα→VBα+1
しか自然に定義できないからだよ
VB0=φ=V0
VB1=B^VB0={φ}=1=V1
ここは実際に
VB0⊂VB1
だが
VB2=B^VB1={{(0,b)}|b∈B}
なので
VB1⊂VB2
ではない
i:VB1→VB2:i(φ)={(0,0)}:monic
によってφと{(0,0)}を同一視しているだけ
ここから先はすべて同様の同一視が必要になる