Let $(M,\otimes)$ be a rigid monoidal category, for which left and right duals coincide. For any  object $X \in M$, we can define a monoid structure on $X \otimes X^*$: Multiplication is defined by evaluation $ev$ as follows:
$$
id \otimes ev \otimes id: X \otimes X^* \otimes X \otimes X^* \to X \otimes X^*.
$$
The unit is just given by coevaluation in the obvious way.

Is this definition correct? I can't seem to convince myself that the associativity and unit axioms of a monoid object are true.