This category contains results about Free Monoids.
Let $S$ be a set.
- For all monoids $N$, for all mappings $f: S \to N$, there is a unique monoid homomorphism $\bar f: M \to N$, such that:
- $\bar f \circ i = f$
This condition is called the universal (mapping) property or UMP of the free monoid over $S$.
Also included are free commutative monoids.
Pages in category "Free Monoids"
This category contains only the following page.