There seem to be two definitions of what a saturated class should be:


1. A class of morphisms closed under retracts, pushouts and transfinite composition.
2. A class of monomorphisms containing all isomomorphisms, closed under retracts, pushouts, arbitrary coproducts and countable composition.


My question is, does it make a difference which definition one choses in the context of the cofibrantly generated modelstructures on


* $\mathbf{Top}$, with respect to the Quillen model structure
* $\mathbf{sSet}$, with respect to the Quillen (or Kan) Model structure
* $\mathbf{Cat}$, with respect to the Thomason model structure


(I'm perfectly happy with partial answers, so if someone's got an answer for at least one of the listed categories, feel free to post it)



Saturated classes and cofibrantly generated model structures
It doesn't make a difference as long as we restrict attention to compactly generated saturated classes, i.e. cofibrantly generated ones where generators can be chosen to have $\aleph\_0$-small domains. This is the case in all your examples. (In the case of topological spaces, compact spaces are not $\aleph\_0$-small with respect to all maps, but they are with respect to sufficiently many maps for the small object argument to go through.)


Condition 1 always implies condition 2 regardless of any smallness assumptions. If you have an arbitrary coproduct you can well-order the indexing set and represent it as a transfinite composite where you attach the summands one step at a time.


Condition 2 implies condition 1 under the smallness assumption I stated in the first paragraph. Indeed, by the small object argument a class satisfying condition 2 is characterized by lifting properties and hence it is also closed under transfinite composition.


Clearly, if domains of the generators are only $\kappa$-small, then the argument works if we replace countable composites in condition 2 by transfinite composites of length $\kappa$.


