K:M \to CとT:M \to Aに対し、昨日のcoendの構成を復習する。 まずC \to Setをc \mapsto C(Km,c)で作る。 さらに関手C(K-,c)T-M^op \times M \to Aを(m,n) \mapsto C(Km,c)Tnで定め、C \to [M^op\times M, A]をcに対し上の関手を対応させる関手とする。 この…