Assumptions: complete
Conclusions: equalizers, products
This is an equivalence.
Reason: See Mac Lane, V.2, Cor. 2.