Implication Details

Assumptions: binary products, pullbacks

Conclusions: equalizers

Reason: The equalizer of f,g:X⇉Yf,g : X \rightrightarrows Y is the pullback of (f,g):X→Y×Y(f,g) : X \to Y \times Y with the diagonal Y→Y×YY \to Y \times Y.