Past exam of the mathematics course of the University of Cambridge / 2016 / iii / Paper 122 / 4 / a / ii

The braid group $B_n$ has generators ${\sigma }_1,\dots ,{\sigma }_{n-1}$ and relationsIn the strict monoidal category $\mathcal{C}$, put $X^{\otimes 0}=I$ and sendThe images are invertible because the Yang–Baxter operator $y$ is invertible. Distant images commute by the tensor interchange law, and adjacent images satisfy the braid group relations by the Yang–Baxter operator equation tensored with the remaining identities. Thus these assignments define group homomorphisms $B_n\to \mathrm{Aut}(X^{\otimes n})$, and hence a functor $\mathbf{B}\to \mathcal{C}$.

Juxtaposition of braids puts generators into the corresponding two blocks of tensor factors, so their images are the tensor products of their images. Strictness of $\mathcal{C}$ gives $X^{\otimes (m+n)}=X^{\otimes m}\otimes X^{\otimes n}$ and $X^{\otimes 0}=I$ exactly. The resulting functor is strict monoidal and sends $1$ to $X$.