Now the problem is, he also use this to define the subgroup generated by a subset in pp. 81. I put it here:
Definition (Subgroup generated by a subset). Let $G$ be a group. If $A\subset G$ is any subset, we have a unique group homomorphism $$\varphi_A: F(A)\to G,$$ by the universal property of free group. The image of this homomorphism is a subgroup of $G$, the subgroup generated by $A$ in $G$, ofter denoted $\langle A\rangle$.
This will naturally lead to a doubt of the well-definedness, i.e., does this definition depend on the choice of the free group $F(A)$ that is unique up to group isomorphism?
I don't know how to prove it to be well-defined. What I know is that if one can prove the well-definedness, then it's easy to prove that the categorical definition of generated subgroup is equivalent to other two definitions which just follows the categorical one in Aluffi's book, see also here.
Can anyone give some clues or hints on the well-definedness? TIA!