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