coendによるKan拡張の構成について。 関手K:M \to CとT:M \to Aに対し、Lan_KT:C \to Aをcに対してM^op \times M \to A (m,n) \mapsto C(Km,c)Tnのcoendを対応させる関手とする。 まずこれが関手であるかどうかについて。 Cの射f:c \to c'に対し、集合の射C(…