Free monoidLast updated May 2, 2024ReferencesCategories for the Working Mathematician (MacLane), Theorem VII.3.2.Free Monoids (Dubuc)