![category theory - Proving that the free group on two generators is the coproduct $\mathbb{Z}*\mathbb{Z}$ in $\textbf{Grp}$ - Mathematics Stack Exchange category theory - Proving that the free group on two generators is the coproduct $\mathbb{Z}*\mathbb{Z}$ in $\textbf{Grp}$ - Mathematics Stack Exchange](https://i.stack.imgur.com/r3Wlt.png)
category theory - Proving that the free group on two generators is the coproduct $\mathbb{Z}*\mathbb{Z}$ in $\textbf{Grp}$ - Mathematics Stack Exchange
![The Cayley graph of the free group on two generators (in red and blue), embedded in the Poincaré hyperbol… | Hyperbolic geometry, Geometric drawing, Mathematics art The Cayley graph of the free group on two generators (in red and blue), embedded in the Poincaré hyperbol… | Hyperbolic geometry, Geometric drawing, Mathematics art](https://i.pinimg.com/originals/e5/0b/f5/e50bf534022a4effbaa7703ba3e86d20.png)
The Cayley graph of the free group on two generators (in red and blue), embedded in the Poincaré hyperbol… | Hyperbolic geometry, Geometric drawing, Mathematics art
![category theory - Proving that the free group on two generators is the coproduct $\mathbb{Z}*\mathbb{Z}$ in $\textbf{Grp}$ - Mathematics Stack Exchange category theory - Proving that the free group on two generators is the coproduct $\mathbb{Z}*\mathbb{Z}$ in $\textbf{Grp}$ - Mathematics Stack Exchange](https://i.stack.imgur.com/Lxj9v.png)
category theory - Proving that the free group on two generators is the coproduct $\mathbb{Z}*\mathbb{Z}$ in $\textbf{Grp}$ - Mathematics Stack Exchange
![category theory - Proving that the free group on two generators is the coproduct $\mathbb{Z}*\mathbb{Z}$ in $\textbf{Grp}$ - Mathematics Stack Exchange category theory - Proving that the free group on two generators is the coproduct $\mathbb{Z}*\mathbb{Z}$ in $\textbf{Grp}$ - Mathematics Stack Exchange](https://i.stack.imgur.com/tcl19.png)