Free/Forgetful Adjunctions
Prev: Adjunctions Next: Monads: Programmer’s Definition
Prev: Adjunctions Next: Monads: Programmer’s Definition
Exercises
- 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 , and functions from the singleton set to the underlying set of .