Answer:
But notice this follows the pattern of an X in the category of Y's, even though here X stands for monoid rather than group.
