$ \newcommand\cc{\mathcal{C}} \newcommand\set{\mathsf{Set}} \newcommand\sbcat{\mathit{Category}}

$

Notice that the condition (Sb:b) implies that the functor $U$ preserves image--factorizations: