Zusammenfassung
The proof of [6, Theorem 3.1(3)] turns out to be invalid due to a recent correction [3] of a result from [1] which was used in our proof. We revise the definition of a strictly cofibrantly generated weak factorization system (L, R) in a cocomplete category M by requiring that the codomains of the generator X subset of L are also strictly small relative to X. Using this slightly stronger ...
Zusammenfassung
The proof of [6, Theorem 3.1(3)] turns out to be invalid due to a recent correction [3] of a result from [1] which was used in our proof. We revise the definition of a strictly cofibrantly generated weak factorization system (L, R) in a cocomplete category M by requiring that the codomains of the generator X subset of L are also strictly small relative to X. Using this slightly stronger definition, we give a new proof of [6, Theorem 3.1(3)] and explain that the rest of the results of [6] hold with essentially the same proofs.