added a remark (here) making more explicit that, in a category of fibrant objects, products preserve weak equivalences (which is used later on but was previously not referenced to the relevant lemma).

]]>fix typos

cmcmA20

]]>minor typos; double smash is not a quotient over double wedge

Arsen

]]>Sure, thanks!

]]>Maybe trivial but the homotopies of homotopy equivalences should go from XxI to X and not XxI to Y and analogous the homotopy inverse. I am no expert so hopefully I did not have a mental breakdown or something :).

Anonymous

]]>Fixed a LaTeX typo in Remark 3.12. I’m not an expert so could someone double-check?

]]>