Does the category Monoid of monoids have finite coproducts?
-
1$\begingroup$ I rolled this question back to its previous version. Someone edited it to simply read aaaaaaaaaaaaaaaaaaaaaaaaaaa. (Which is presumably why it attracted votes to close.) $\endgroup$– David E SpeyerMar 13, 2010 at 19:04
-
$\begingroup$ @David: I haven't (yet) voted to close but the question immediately reminded me of mathoverflow.net/questions/18026/… $\endgroup$– Yemon ChoiMar 13, 2010 at 19:55
-
1$\begingroup$ I should add that the present question is a bit more interesting than the one I linked to (IMHO). $\endgroup$– Yemon ChoiMar 13, 2010 at 20:00
-
$\begingroup$ There's something a bit strange going on here. After I answered, someone else posted a one-"sentence" answer that sounded like a drunk person yelling nonsense. It must have been multiply flagged then deleted by the moderators. $\endgroup$– Tom LeinsterMar 13, 2010 at 20:04
-
$\begingroup$ Yes, the drunken shouting was deleted. $\endgroup$– David E SpeyerMar 13, 2010 at 23:28
1 Answer
Yes. More generally, any category of algebras (in the sense of universal algebra), such as groups, rings, vector space, Lie algebras, ..., has all (small) limits and colimits. See for instance p.210 (end of section IX.1) of Mac Lane's book Categories for the Working Mathematician.
Explicitly, the initial monoid ("0-fold coproduct of monoids") is the one-element monoid. The coproduct $A * B$ of two monoids $A, B$ is constructed similarly to the coproduct of two groups (often called their "free product"). That is, it's the free monoid generated by all the elements of $A$ together with all the elements of $B$, quotiented out by all the relations that hold in $A$ and all the relations that hold in $B$.