In the category of pointed sets [p.17, Awodey], can there be an arrow that points to the same set but with a different distinguishing element?
I.e., if I have a set $A=\{1,2,3\}$, can there an arrow $f: (A,1) \to (A,2)$?
In the category of pointed sets [p.17, Awodey], can there be an arrow that points to the same set but with a different distinguishing element?
I.e., if I have a set $A=\{1,2,3\}$, can there an arrow $f: (A,1) \to (A,2)$?
Sure. Any set function $f:A \to A$ with $f(1)=2$ gives such an arrow.
Two pointed sets which are the same set with a different distinguishing element aren't any more different than two totally different pointed sets (which you can obviously have functions between) — they just aren't the same object as each other.