# Why do all objects have enough generalized elements?

I understand why in the category of sets two parallel morphisms $f, g: A \rightarrow B$ are identical iff for each element $x: 1 \rightarrow A$ it holds that $f\circ x = g \circ x$.

Awodey on p. 36 of Category Theory asks (as an exercise), why in any category two parallel morphisms $f, g: A \rightarrow B$ are identical iff for each generalized element $x: X \rightarrow A$ it holds that $f\circ x = g \circ x$.

Could someone please give me a hint how to prove this?

-

Just let $X=A$ and $x$ be the identity morphism.
@Hans: It couldn't really be anything else, since in general there's no reason for there to be any other morphisms into $A$. – Chris Eagle Sep 9 '11 at 10:11