I'm reading Chapter 4 in Steve Awodey's Category Theory and it mentions
A discrete monoidal category, that is, one with a discrete underlying category, is obviously just a regular monoid (in $Sets$), while a monoidal category with only one object is a monoidal monoid, and thus exactly a commutative monoid, by the foregoing remark 4.7.
The remark says
Note that we did not really need the full group structure in this argument. Indeed, the same result holds for monoids in the category of monoids: these are exactly the commutative monoids.
Maybe it's obvious to a category theory expert that monoidal monoid and the monoid in the category of monoids have the same meaning but I can't make the connection. My understanding is the category formed by morphisms in the monoidal monoid is indeed a monoid $(M,id, \circ)$ and because it is a monoidal category $(M,\otimes,I)$ we can define the homomorphisms $\mu = \otimes$ and $\eta = I$ to makes it a monoid in the category of monoids. Is that right?
And I was also wondering why the same does not apply to the discrete monoidal category. I am grateful for explanations.