In Conceptual Mathematics 1st edition, p. 325-236, there is a sketch of a proof, but I can't carry out the complete proof.
"... This also follows from the appropriate universal mapping properties, which imply that the two composites satisfy properties that only the corresponding identity maps satisfy."
I can't figure this out.
Can you give me a clue?