Lemma 6.4.
Assuming that:
C
has finite
colimits
C
has
directed
colimits
Then
C
has all
small
colimits
.