Tabuadaの
https://arxiv.org/pdf/0706.2420.pdf
Nをptd, left proper, cpt gend model catとする。
特にfin gendであり、Iをgen cofivでそのcofibersの集合をGとすると、GはHo(N)のsmall weak generatorとなる。
SをNのhtpy fin presなobの間の射の集合とし、L_SNをNのSによるleft Bousfield localizationとすると、随伴LId:Ho(N) \to Ho(L_SN):RIdがある。
このとき、GのLIdによる像はHo(L_SN)のsmall weak generatorになる。
ptd Quillen model cat Fun(M_f^op, Sset_\bullet)とFun(M_f^op,Sset)の間に忘却Uと(-)_+のQuillen adunctionがある。
(-)_+による\Sigma \sup {P}の像によるleft Bousfield localizationをL_{\Sigma, P}Fun(M_f^op, Sset_\bullet)とし、それに付随するderivatorをL_{\Sigma,P}Hot_{M_{f, \bullet}とかく。
