Free monoidLast updated Jun 3, 2024References.Categories for the Working Mathematician (MacLane), Theorem VII.3.2.Free Monoids (Dubuc)