References. Categories for the Working Mathematician (MacLane), Theorem VII.3.2. Free Monoids (Dubuc) See list for the free monoids in Set.
