Implication Details

Claim: If a category has a terminal object and has wide pullbacks, then it is complete.

Proof: See the nLab.

This implication has a dual.