Implication Details

Assumptions: cartesian filtered colimits, thin

Conclusions: exact filtered colimits

Reason: In a thin category, every (finite) limit can be reduced to a (finite) product.