Classifiable Subcategories of Braid-Category Monoidal Functors

Definitions and mathematical statement

Write $\mathcal B$ for the braid category and $\operatorname{Mat}$ for the matrix category intended by the source, and put \[ \mathscr M=\operatorname{MonFun}(\mathcal B,\operatorname{Mat}). \] Its objects are the monoidal functors $F:\mathcal B\to\operatorname{Mat}$. The supplied record does not define these two monoidal categories, specify the coefficient field or ring for $\operatorname{Mat}$, state whether the functors are strict, strong, or lax monoidal, or specify the morphisms of $\mathscr M$. These choices must be recovered from the source before a fully determined category can be used.

The source's classification problem is: identify subcategories \[ \mathcal C\hookrightarrow\mathscr M \] that are amenable to classification, and describe such classifications. The intended equivalence relation on objects and the meaning of "amenable" or "tractable" are unspecified. Thus this is an open-ended classification request, not a uniquely specified quantified proposition. The source also suggests, for an arbitrary object $F\in\mathscr M$, studying the monoidal subcategory generated by $F$ and its subobjects; the meanings of subobject and generated monoidal subcategory depend on the missing categorical conventions.

As motivating examples, the source states that functors associated with group-type solutions of the Yang--Baxter equation provide such a subcategory, while adding that "they are not closed under composition." The referent of this qualification and the composition operation involved are not specified in the supplied excerpt. It must therefore not be read as an unqualified assertion that the morphisms of a subcategory fail closure under composition. Neither group-type solutions nor their associated functors are defined in the record.

The source further states that involutive solutions, characterized there by \[ R^2=\operatorname{Id}, \] do not themselves form a subcategory of $\operatorname{Mat}$, whereas their associated monoidal functors form a tensor subcategory of $\mathscr M$ and have been classified. The domain of $R$, the association to functors, the tensor structure, and the classification equivalence are not supplied. These are reported background claims, with unresolved references [8] and [9], rather than additional established conclusions of this draft. The stated broader aim is to develop categorical techniques for the classification problem.

Short English statement

Identify subcategories of the category of monoidal functors from the braid category to a matrix category whose objects can be classified tractably. The source suggests group-type and involutive Yang--Baxter examples, and subcategories generated by a functor and its subobjects. The categorical conventions, classification equivalence, and meaning of tractability remain unspecified.

Sources

• Local problem registry, permanent UnsolvedMath ID $30006498$, source code catalogue entry, original excerpt labelled Problem 4; collection: Oberwolfach Reports Open Problems. No individual proposer is supplied. The registry gives proposed year 2025.
• Supplied report citation: Mini-Workshop: The Yang--Baxter Equation and Representations of Braid Groups (2026), Oberwolfach Reports, pp. 2633--2672, DOI https://doi.org/10.4171/owr/2025/49. The supplied literature list labels the same reference "Oberwolfach Report 49/2025." The discrepancy between the citation's 2026 designation and the 2025 report identifiers is unresolved.
• Supplied literature reference: Classification of spin-chain braid representations, https://arxiv.org/abs/2112.04533. Its relevance and bibliographic details have not been independently verified here.
• The original excerpt cites references [8] and [9] for group-type solutions and the classification of involutive examples, respectively. Their bibliography entries are absent; no identification with the supplied literature links is asserted.
• Literature assessment dated exactly 2026-08-22: the supplied curation labels the problem open and says that some subcategories, including group-type and involutive examples, are understood, while finding classifiable subcategories of the full monoidal-functor category remains open. This is supplied dated curation, not an independently verified literature assessment.
• The registry labels the statement corrected_verified and reports that the official report was checked and the notation repaired. These are supplied verification claims; this draft does not claim an independent source visit or verification.