K:M \to C, T:M \to Aに対し、(V, \xi)をV:C \to Aと\xi:T \to VKに対して\phi:Lan_KT \to Vを構成する。 Cの対象cに対してcolim TU(c) \to Vcを定める。 これは上のcolimの図式の対象(m, f:Km \to c)に対し、\xi:Tm \to VKmとVf:VKm \to Vcを合成することで…