あいやWikipediaの定義では
extαβ:VBα→VBβ
に対して
extα+1β+1:VBα+1=Map(VBα,B)→Map(VBβ,B)=VBβ+1
を定義していくわけだが
colimVBα={(α,x)|x∈VBα}/〜
(α,x)〜(β,y) ⇔ y=extαβ(x)
の同値類[(β,y)]には最小元（それは集合）があるからいいのか
y:VBβ→B
として
res(y):supp(y)→B*
とすると
{α|∃x∈VBα:supp(y)=extαβ(x)}≠φ
なので
その最小をαとすれば
同値類[(β,y)]の代表元として(α,x)を取れる
まあ
そうやってcolimVBαを定義したものが
Map**による定義ではあるわけだが