epsilon

落書き

Higher K-theory via universal invariants 5

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である。