昨日の構成が自然かどうかを確かめる。 g:c \to c'に対してcolim TU(c) \to colim TU(c')とVc \to Vc'が定まり、 これがcolimitの普遍性から定まる射と可換かどうか調べる。 colim TU(c) \to Vc'が、まずVcを経由する射については、これがVcへの普遍性から定…