File:Commutative-diagram equalizer.png

A commutative diagram depicting the universal property of the equalizer $(e,\lambda_x)$ of two morphisms f,g in a category.