# Saturated classes and cofibrantly generated model structures

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)

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.)
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$.