http://www.math.jhu.edu/~eriehl/hocolimits.pdf まずはKan extensionについて復習。 関手T:M \to AとK:M \to Cに対し、TのKに沿った左Kan拡張とは、 - 関手Lan_KT:C \to A - 自然変換\eta:T \to (Lan_KT)K の組であって、関手U:C \to Aと自然変換\xi:T \to…