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…