$ \newcommand\cc{\mathcal{C}} \newcommand\set{\mathsf{Set}}

$

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