Theorem 6.5. Assuming that:

Then colimits of shape J commute with all finite limits in Set if and only if J is filtered.