Judging from the axioms of a symmetric monoidal category, can we say anything about the left unitor being related to the right unitor?
We have the morphisms (using notation as nlab) $$ \lambda_1 :1 \otimes 1 \rightarrow 1 $$ $$ \rho_1 : 1 \otimes 1 \rightarrow 1$$ It seems desirable to me that $$ \lambda_1 =\rho_1 b_{1,1}$$ holds. But this is doesn't seemed to be implied.
The reason for this is that: wouldn't one want a canonical choice of isomorphism $$ 1 \otimes 1 \simeq 1?$$
Actually, $\lambda_I$ and $\rho_I$ are equal in any monoidal category, and $\lambda_X=\rho_X B_{1,X}$ in any symmetric monoidal category, although this is not entirely obvious. In fact, Mac Lane originally required these as axioms, and also that $\lambda_{A\otimes B}\circ \alpha_{I,A,B}=\lambda_A\otimes B$ and $ A\otimes\rho_B \circ \alpha_{A,B,I} =\rho_{A\otimes B}$, but Kelly showed that all these identities could be deduced from the triangle, pentagon and hexagon diagrams :
The argument can also be found on the nLab.
Later, Joyal and Street proved that $\lambda_X=\rho_X B_{1,X}$ even holds in braided monoidal categories :