$E\to X\to Y$ is an equalizer iff the given square is a pullback

133 Views Asked by At

From Leinster:

enter image description here

I think both statements are true. Am I right?

For example, let's prove the converse. Suppose $h:A\to X$ is an arrow s.t. $fh=fg$. We need to show that there is a unique $\bar h:A\to E$ s.t. $i\bar h=h$. But this last claim holds because the given square is a pullback.

The other implication is proved in the same way but we just use the assumption that the diagram $E\to X\to Y$ is an equalizer instead of the assumption that the square is a pullback.

This looks quite easy, so I wanted to make sure I'm not missing anything.