Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-122/4/a/ii/solution
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 122 4 a ii Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
The braid group has generators and relationsIn the strict monoidal category , put and sendThe images are invertible because the Yang–Baxter operator 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 , and hence a functor .
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 gives and exactly. The resulting functor is strict monoidal and sends to .
New to topics? Read the docs here!