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