It's a weak equivalence by the fact that it's a right proper model category (since all objects are fibrant), and therefore the fiber of a fibration is a homotopy pullback (and a hofiber). In particular, the induced map between two representatives of a homotopy pullback is necessarily a weak equivalence.
|
2 | added 16 characters in body; added 117 characters in body | ||
|
|
||||
|
|
1 |
|
||
|
It's a weak equivalence by the fact that it's a right proper model category (since all objects are fibrant), and therefore the fiber of a fibration is a homotopy pullback. |
||||
