CatDat

Implication Details

Claim: If a category has binary products and has pullbacks, then it has equalizers.

Proof: The equalizer of $f,g : X \rightrightarrows Y$ is the pullback of $(f,g) : X \to Y \times Y$ with the diagonal $Y \to Y \times Y$.