Let $f:X\to Y$ be a morphism in a category. It is easy to see that if $f$ is a monomorphism then there exists a pullback $X \times_Y X$.
Here the question is whether the converse is true.
If two projections of $X\times_Y X$ equal then it is easy to check.
So my question is rewritten as whether the two projections equal always.