homotopy limit 2

http://www.math.jhu.edu/~eriehl/hocolimits.pdf

colimitを使ってKan拡張を構成する。

T:M \to AとK:M \to Cに対し、TのKに沿った左Kan拡張Lan_KT:A \to Cは

(Lan_KT)c = colim(K/c \to M \to A)