Tabuadaの https://arxiv.org/pdf/0706.2420.pdf Hがstrict finite I-cellとし、Eを充満部分dg圏の埋め込みG \to H全体のなす集合とする。 Dをptd derivatorとし、Mを1 \to 0に対応する圏とする。関手1:e \to Mはopen immersionでDがptdなので、t_!:D(e) \to…