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