Equality of morphisms

Something for beginning categorists to wrap their head around is the fact that two morphisms $f,g:A\to B$ are not necessarily equal. That said, In a commutative diagram, any two paths are equal. Without this intuition, one might think that every morphism in a monoid category is an identity, and mistake a single-object category for a single-object set.