Skip to main content
added 34 characters in body
Source Link
Zhen Lin
  • 15.9k
  • 1
  • 46
  • 84

If by "additive" you mean an $\mathbf{Ab}$-enriched category with a zero object and biproducts, then yes. Let $\mathcal{M}$ be model category that is additive in this sense, let $\mathcal{M}_c$ be the full subcategory of cofibrant objects, let $\mathcal{M}_f$ be the full subcategory of fibrant objects, and let $\mathcal{M}_{cf} = \mathcal{M}_c \cap \mathcal{M}_f$. Here are the relevant facts: $\DeclareMathOperator{\Ho}{Ho}$

  1. The coproduct of a family of cofibrant objects is automatically a homotopy coproduct, so the localising functor $\mathcal{M}_c \to \Ho \mathcal{M}$ preserves coproducts. Dually, the localising functor $\mathcal{M}_f \to \Ho \mathcal{M}$ preserves products.
  2. Hence, the localising functor $\mathcal{M}_{cf} \to \Ho \mathcal{M}$ preserves the zero object and biproducts. (Note that $\mathcal{M}_{cf}$ is an additive subcategory of $\mathcal{M}$.)
  3. A category with a zero object and biproducts is automatically enriched over commutative monoids in a unique way, and a functor that preserves zero objects and biproducts is similarly enriched. Thus, there is a unique enrichment of $\Ho \mathcal{M}$ over commutative monoids that makes the localising functor $\mathcal{M}_{cf} \to \Ho \mathcal{M}$ an enriched functor.
  4. Since $\mathcal{M}_{cf}$ is actually $\mathbf{Ab}$-enriched and the localising functor $\mathcal{M}_{cf} \to \Ho \mathcal{M}$ is full and essentially surjective on objects, $\Ho \mathcal{M}$ is also $\mathbf{Ab}$-enriched.

Now, givenlet $X$ cofibrant and $Y$ fibrant, choose a cofibrant fibrant replacement $i : X \to \hat{X}$ and fibrant cofibrant replacementbe any two objects in $p : \tilde{Y} \to Y$;$\mathcal{M}$. In order for the above shows that $\mathcal{M}(\hat{X}, \tilde{Y}) \to \Ho \mathcal{M}(\hat{X}, \tilde{Y})$ ishom-set map $$\mathcal{M}(X, Y) \to \Ho \mathcal{M}(X, Y)$$ to be a (surjective) group homomorphism, and by naturality we deduceit is sufficient that the localising functor $\mathcal{M}(X, Y) \to \Ho \mathcal{M}(X, Y)$ is also a$\mathcal{M} \to \Ho \mathcal{M}$ preserve either the coproduct $X + X$ or the product $Y \times Y$. (surjectiveWe already know that it preserves initial and terminal objects.) group homomorphismThus it suffices to take either $X$ cofibrant or $Y$ fibrant.

If by "additive" you mean an $\mathbf{Ab}$-enriched category with a zero object and biproducts, then yes. Let $\mathcal{M}$ be model category that is additive in this sense, let $\mathcal{M}_c$ be the full subcategory of cofibrant objects, let $\mathcal{M}_f$ be the full subcategory of fibrant objects, and let $\mathcal{M}_{cf} = \mathcal{M}_c \cap \mathcal{M}_f$. Here are the relevant facts: $\DeclareMathOperator{\Ho}{Ho}$

  1. The coproduct of a family of cofibrant objects is automatically a homotopy coproduct, so the localising functor $\mathcal{M}_c \to \Ho \mathcal{M}$ preserves coproducts. Dually, the localising functor $\mathcal{M}_f \to \Ho \mathcal{M}$ preserves products.
  2. Hence, the localising functor $\mathcal{M}_{cf} \to \Ho \mathcal{M}$ preserves the zero object and biproducts. (Note that $\mathcal{M}_{cf}$ is an additive subcategory of $\mathcal{M}$.)
  3. A category with a zero object and biproducts is automatically enriched over commutative monoids in a unique way, and a functor that preserves zero objects and biproducts is similarly enriched. Thus, there is a unique enrichment of $\Ho \mathcal{M}$ over commutative monoids that makes the localising functor $\mathcal{M}_{cf} \to \Ho \mathcal{M}$ an enriched functor.
  4. Since $\mathcal{M}_{cf}$ is actually $\mathbf{Ab}$-enriched and the localising functor $\mathcal{M}_{cf} \to \Ho \mathcal{M}$ is full and essentially surjective on objects, $\Ho \mathcal{M}$ is also $\mathbf{Ab}$-enriched.

Now, given $X$ cofibrant and $Y$ fibrant, choose a cofibrant fibrant replacement $i : X \to \hat{X}$ and fibrant cofibrant replacement $p : \tilde{Y} \to Y$; the above shows that $\mathcal{M}(\hat{X}, \tilde{Y}) \to \Ho \mathcal{M}(\hat{X}, \tilde{Y})$ is a (surjective) group homomorphism, and by naturality we deduce that $\mathcal{M}(X, Y) \to \Ho \mathcal{M}(X, Y)$ is also a (surjective) group homomorphism.

If by "additive" you mean an $\mathbf{Ab}$-enriched category with a zero object and biproducts, then yes. Let $\mathcal{M}$ be model category that is additive in this sense, let $\mathcal{M}_c$ be the full subcategory of cofibrant objects, let $\mathcal{M}_f$ be the full subcategory of fibrant objects, and let $\mathcal{M}_{cf} = \mathcal{M}_c \cap \mathcal{M}_f$. Here are the relevant facts: $\DeclareMathOperator{\Ho}{Ho}$

  1. The coproduct of a family of cofibrant objects is automatically a homotopy coproduct, so the localising functor $\mathcal{M}_c \to \Ho \mathcal{M}$ preserves coproducts. Dually, the localising functor $\mathcal{M}_f \to \Ho \mathcal{M}$ preserves products.
  2. Hence, the localising functor $\mathcal{M}_{cf} \to \Ho \mathcal{M}$ preserves the zero object and biproducts. (Note that $\mathcal{M}_{cf}$ is an additive subcategory of $\mathcal{M}$.)
  3. A category with a zero object and biproducts is automatically enriched over commutative monoids in a unique way, and a functor that preserves zero objects and biproducts is similarly enriched. Thus, there is a unique enrichment of $\Ho \mathcal{M}$ over commutative monoids that makes the localising functor $\mathcal{M}_{cf} \to \Ho \mathcal{M}$ an enriched functor.
  4. Since $\mathcal{M}_{cf}$ is actually $\mathbf{Ab}$-enriched and the localising functor $\mathcal{M}_{cf} \to \Ho \mathcal{M}$ is full and essentially surjective on objects, $\Ho \mathcal{M}$ is also $\mathbf{Ab}$-enriched.

Now, let $X$ and $Y$ be any two objects in $\mathcal{M}$. In order for the hom-set map $$\mathcal{M}(X, Y) \to \Ho \mathcal{M}(X, Y)$$ to be a group homomorphism, it is sufficient that the localising functor $\mathcal{M} \to \Ho \mathcal{M}$ preserve either the coproduct $X + X$ or the product $Y \times Y$. (We already know that it preserves initial and terminal objects.) Thus it suffices to take either $X$ cofibrant or $Y$ fibrant.

Source Link
Zhen Lin
  • 15.9k
  • 1
  • 46
  • 84

If by "additive" you mean an $\mathbf{Ab}$-enriched category with a zero object and biproducts, then yes. Let $\mathcal{M}$ be model category that is additive in this sense, let $\mathcal{M}_c$ be the full subcategory of cofibrant objects, let $\mathcal{M}_f$ be the full subcategory of fibrant objects, and let $\mathcal{M}_{cf} = \mathcal{M}_c \cap \mathcal{M}_f$. Here are the relevant facts: $\DeclareMathOperator{\Ho}{Ho}$

  1. The coproduct of a family of cofibrant objects is automatically a homotopy coproduct, so the localising functor $\mathcal{M}_c \to \Ho \mathcal{M}$ preserves coproducts. Dually, the localising functor $\mathcal{M}_f \to \Ho \mathcal{M}$ preserves products.
  2. Hence, the localising functor $\mathcal{M}_{cf} \to \Ho \mathcal{M}$ preserves the zero object and biproducts. (Note that $\mathcal{M}_{cf}$ is an additive subcategory of $\mathcal{M}$.)
  3. A category with a zero object and biproducts is automatically enriched over commutative monoids in a unique way, and a functor that preserves zero objects and biproducts is similarly enriched. Thus, there is a unique enrichment of $\Ho \mathcal{M}$ over commutative monoids that makes the localising functor $\mathcal{M}_{cf} \to \Ho \mathcal{M}$ an enriched functor.
  4. Since $\mathcal{M}_{cf}$ is actually $\mathbf{Ab}$-enriched and the localising functor $\mathcal{M}_{cf} \to \Ho \mathcal{M}$ is full and essentially surjective on objects, $\Ho \mathcal{M}$ is also $\mathbf{Ab}$-enriched.

Now, given $X$ cofibrant and $Y$ fibrant, choose a cofibrant fibrant replacement $i : X \to \hat{X}$ and fibrant cofibrant replacement $p : \tilde{Y} \to Y$; the above shows that $\mathcal{M}(\hat{X}, \tilde{Y}) \to \Ho \mathcal{M}(\hat{X}, \tilde{Y})$ is a (surjective) group homomorphism, and by naturality we deduce that $\mathcal{M}(X, Y) \to \Ho \mathcal{M}(X, Y)$ is also a (surjective) group homomorphism.