Tabuadaの
https://arxiv.org/pdf/0706.2420.pdf
Mをmodel catとし、(\Gamma:M \to M^\Delta, i)をcosimplicial resolution functorとする。
つまり、任意のX \in Mに対し\Gamma(X) \in M^\DeltaがReedy model strでcofibrantで、i(X):\Gamma(X) \to Xがweである。
また((-)_f:M \to M, e)をfibrant resolutionとする。
このとき、M_fを以下を満たす最小のMの充満部分圏とする。
- M_fはstrictly finite I-cell objを含む
- M_fは(-)_fと\Gamma^nで安定
SをM_f \to MでのMのweの逆像とする。
このときM_f[S^{-1}] \to Ho(M)はfully faithfulである。