Implication Details
Claim: Given a functor whose domain has binary products, if it preserves preserves binary products and preserves preserves coreflexive equalizers, then it preserves preserves equalizers.
Proof: This follows easily from this result about categories and its proof.