Implication Details

Assumptions: connected limits

Conclusions: equalizers, wide pullbacks

This is an equivalence.

Reason: The direction ⇒\Rightarrow is trivial. The direction ⇐\Leftarrow can be found at the nLab.