Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this community
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 :
On MacLane's conditions for coherence of natural associativities, commutativities, etc., G.M. Kelly, 1964, Journal of Algebra 1, pp 397-402
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 :
Braided tensor categories, A. Joyal and R. Street, 1993, Advances in Mathematics 102, pp 20-78
