>Morphisms in a category don't have to be functions. (Think about posets!)

Morphisms between posets are called monotone *functions*.

You're right though that\$$\mathbf{Set}\$$ morphisms need not be functions, they can be any relation of sets, functions are just a particularly well-behaved class of relations.