Implication Details

Assumptions: finitely complete

Conclusions: equalizers, finite products

This is an equivalence.

Reason: See Mac Lane, V.2, Cor. 1.