Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-122/4/a/i/solution
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 122 4 a i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
For an object of a braided monoidal category, take its self-braidingIt is invertible by definition. Suppress canonical associators using the monoidal coherence theorem, and put , . The hexagon identity givesApply naturality of this braiding to the morphism in its second argument. It saysSubstitution givesThis is the equation for a Yang–Baxter operator. Restoring the uniquely determined associators gives the non-strict diagram in the paper. Every object therefore has the canonical Yang–Baxter operator supplied by its self-braiding.
New to topics? Read the docs here!