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 D(M)は左随伴t^?:D(M) \to D(e)を持つ。これをcone:D(M) \to D(e)と書く。
pointed derivatorの射F:D \to D'に対し、自然変換S:cone \circ F(M) \to F(e) \circ coneが存在する。
Theorem 10.4
Dをstrong trinagulated derivatorとし、G:St(L_{\Sigma,P}Hot_{dgcat_f}) \to Dをtriangulated derivatorの間のhocolimと交換する射で、G(e)(S_L)が任意のL \in Eについて可逆とする。
このとき任意の充満部分dg圏の埋め込みK:A \to BについてG(e)(S_K)が可逆。
