Does the category Monoid of monoids have finite coproducts?
$\begingroup$
$\endgroup$
5
-
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 SpeyerCommented Mar 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 ChoiCommented Mar 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 ChoiCommented Mar 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 LeinsterCommented Mar 13, 2010 at 20:04
-
$\begingroup$ Yes, the drunken shouting was deleted. $\endgroup$– David E SpeyerCommented Mar 13, 2010 at 23:28
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
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$.
answered Mar 12, 2010 at 11:25