homotopy limit 3

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

左Kan拡張をcoendで書く。

K:M \to CとT:M \to Aに対し、M^op \times M \to Aを(m,n) \mapsto C(Km,c)Tnとする。

ここでC(Km,c)TnはTnのC(Km,c)を添え字に持つcopower。

このcoendを考えると、これがLan_KTを定める。