0
The following question is taken from Arrows, Structures and Functors the categorical imperative by Arbib and Manes, and Theory of Mathematical Structures by Jiří Adamek.
$\color{Green}{Background:}$
[From Arbib and Mane]
$\textbf{(1) Definition:}$
The $\textbf{Free monoid on the set X of generat...
