nn-ary coherence conjecture for polyadic tensor categories

Let C\mathcal{C} be a polyadic tensor category with an nn-ary tensor product M(n)\mathscr M^{\left(n\otimes\right)} and an nn-ary associator \scalebox1.15\upshapeA(2n1)\scalebox{1.15}{\textsf{\upshape A}}^{\left(2n-1\right)\otimes}. The associator is required to satisfy coherence conditions ensuring that the canonical reassociation isomorphism on 3n23n-2 objects exists:

M(n)[M(n)[M(n)[X1,,Xn],Xn+1,,X2n1],X2n,,X3n2]M(n)[X1,,Xn1,M(n)[Xn,,X2n2,M(n)[X2n1,,X3n2]]].\mathscr M^{\left(n\otimes\right)}\left[\mathscr M^{\left(n\otimes\right)}\left[\mathscr M^{\left(n\otimes\right)}\left[X_1,\ldots,X_n\right],X_{n+1},\ldots,X_{2n-1}\right],X_{2n},\ldots,X_{3n-2}\right] \simeq \mathscr M^{\left(n\otimes\right)}\left[X_1,\ldots,X_{n-1},\mathscr M^{\left(n\otimes\right)}\left[X_n,\ldots,X_{2n-2},\mathscr M^{\left(n\otimes\right)}\left[X_{2n-1},\ldots,X_{3n-2}\right]\right]\right].

nn-ary coherence conjecture. If the nn-ary associator \scalebox1.15\upshapeA(2n1)\scalebox{1.15}{\textsf{\upshape A}}^{\left(2n-1\right)\otimes} satisfies such nn-ary coherence conditions that this isomorphism takes place, then any diagram containing \scalebox1.15\upshapeA(2n1)\scalebox{1.15}{\textsf{\upshape A}}^{\left(2n-1\right)\otimes} together with the identity morphisms commutes.

This is the proposed higher-arity analogue of coherence for monoidal categories. The source formulates the condition as an anticipated requirement, but supplies no proof or resolution.

Sources & referencesView supporting material

Primary source

Steven Duplij, “Graded medial n-ary algebras and polyadic tensor categories”, arXiv:2001.04165 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.