Implication Details

Assumptions: locally cartesian closed

Conclusions: pullbacks

Reason: Pullbacks are binary products in slice categories.