5
$\begingroup$

Let $M$ be a very nice model category (cofibrantly generated, combinatorial or cellular and left proper simplicial model category). Let $f: X\rightarrow Y$ and $g: X\rightarrow Z $ be two morphisms in $M$ such that $g$ is weak equivalence. Suppose that the map $r: Z\rightarrow Y\cup_{X} Z $ is a weak equivalence in the localized model category $\mathrm{L}_{\{ f\}}M$. Is it true that $\mathrm{L}_{\{ f\}}M=\mathrm{L}_{\{ r\}}M$ ?

$\endgroup$
6
$\begingroup$

No. Let $M$ be the category of simplicial sets with the Kan model structure. Let $S^1$ be $\Delta^1$ with its endpoints identified and let $f : \Delta^1 \to S^1$ be the obvious map. Let $g : \Delta^1 \to \Delta^0$ be the unique map. Then $r : \Delta^0 \to \Delta^0$ is the identity map, so it is a weak equivalence even in $M$, so $L_{\{r\}}M = M$, but $L_{\{f\}}M \neq M$ since $S^1$ is not equivalent to $\Delta^1$ in $M$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.