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