Implication Details

Assumptions: cartesian closed, filtered colimits

Conclusions: cartesian filtered colimits

Reason: Each functor X×−X \times - is a left adjoint and therefore preserves (filtered) colimits.