Category Theory for Programmers Chapter 19: Free/Forgetful Functors
- Consider a free monoid built from a singleton set as its generator. Show that there is a one-to-one correspondence between morphisms from this free monoid to any monoid $m$, and functions from the singleton set to the underlying set of $m$.