left unitor of a monoidal category

Let \(\mathcal{C}\) be a category with a monoidal structure. Then the right unitor is a natural isomorphism

\begin{align*} \rho_X: X \otimes 1 \rightarrow X \end{align*}