“…We have that Since is compact, it follows that is localizing. The claims (2) and (3) is Thomason's Localization Theorem (see [, Theorem 2.1] or [, Theorem 3.12]). For (4), we note that has a right adjoint (Bousfield localization) that preserves coproducts (smashing localization).…”