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を定める。
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を定める。