A Categorical Perspective on Braid Representations (2506.07950v1)

Abstract: We study categories whose objects are the braid representations, that is, strict monoidal functors from the braid category $B$ to the category of matrices $Mat$. Braid representations are equivalent to solutions to the (constant) Yang-Baxter equation. So their classification problems are also equivalent. We consider both the categories $MoonFun(B,Mat)$ whose morphisms are natural transformations and the category $MonFun(B,Mat)$ whose morphisms are the monoidal natural transformations. This categorical contextualisation naturally gives a three-fold focus to the problem: the source $B$; the target $Mat$; and the natural transformations and other symmetries between functors between them. Indeed the approach is mainly motivated by the recent classification of charge conserving Yang-Baxter operators, in which $Mat$ is replaced by a certain subcategory. One objective is to understand from the categorical perspective how the solution was facilitated by this change (with the aim of generalising). Another is to understand appropriate notions of equivalence - the restriction of target introduces new notions such as that of inner and outer equivalences. And another is to understand how universal such a restricted target is (does it give a transversal of all equivalence classes for a suitable notion of equivalence?). And then the aim is to complete the classification with a suitably universal target. With regard to the first part of the triple-focus, the category $B$, we review several features. Work has already been done to generalise to similar categories such as the loop braid category. But a significant part of our input here is to recast $MonFun(B,-)$ as the isomorphic category of Yang-Baxter objects - which manoeuvre leans heavily on the source being $B$ on the nose.