right unitor in a monoidal category
1. Definition
Let \(\mathcal{C}\) be a category with a monoidal structure. Then the left unitor is a natural isomorphism
\begin{align*} \lambad: (1 \otimes -) \rightarrow - (1 \otimes X) \rightarrow& X \end{align*}