Implication Details

Assumptions: cartesian filtered colimits

Conclusions: filtered colimits, finite products

Reason: This holds by definition.