homotopy limitの話に入る前に、もう一度Kan extとcoendの関係についてしばらく整理する。 以前に前層が表現可能関手のcolimtでかけることをやったが、それと同様の考え方でleft Kan extをcolimitを使って具体的に構成できる。 K:M \to C, T:M \to Aに対し、…