なぜって
colimVBα=∪VBα
になるからです
左辺は
つまりVBは
存在するのが怪しいのですが
source≠domainである写像の定義によって
VB=∪VBα
が存在するわけです