Proof of a unique homomorphism from an initial object What is the proof that there is only one homomorphism from an initial object to another object?
As far as I remember (and my copy of Pierce's Basic Category Theory for Computer Scientists confirms this), the initial object is defined as an object with exactly one arrow to each object in the category.