Skip to main content
4 of 5
edited body
L. Xie
  • 631
  • 4
  • 13

Is transfinite composition of weak equivalences of simplicial presheaves a weak equivalence?

In a left Bousfield localization of the projective model structure on the category of simplicial presheaves, what is the condition that transfinite composition preserves weak equivalences? How about for transfinite composition of fibrant simplicial presheaves?

I apologize if the question doesn't make sense. My question comes from the proof here for Theorem 4.27 showing that the $A^1$ localization functor $L_{A^1}L_{Nis}$ is equivalent to the transfinite composition of $L_{Nis}Sing^{A^1}$, where they show that $L_{Nis}Sing^{A^1}$ takes values in $A^1$-fibrant objects and preserves $A^1$-weak equivalence then conclude the following. So I think the reason for this is that transfinite composition of $A^1$-weak equivalences between fibrant objects are $A^1$-weak equivalence. Is this true and how to prove it?

enter image description here

L. Xie
  • 631
  • 4
  • 13