Lemma 6.4. Assuming that:

Then C has all small colimits.