Implication Details

Assumptions: locally cartesian closed, terminal object

Conclusions: cartesian closed

Reason: The slice over the terminal object is the category itself.