Recent content by byron.hawkins

Thanks for your reply. So in the case of my example monoid on {0, 1, 2}, would I expect to have 3 arrows, all from * to *? If that is the case, aren't the arrows kind of ambiguous? It seems like the arrows should be between the {0, 1, 2}, not from * to *. Can you help me understand why it is...

Many textbooks describe a monoid as a category of one object having arrows for its elements. But they also define a category arrow as a binary relation between two (not necessarily distinct) objects of the category. So the elements of a monoid are actually connecting the elements of the monoid...