表示的范畴O (准确地说，第formula_2层(formula_3)模的满子范畴 - 就是说，两个第formula_2层模般的张，得出的模都是第formula_2层的) 中定义的一种张量积结构；它令范畴formula_6成辫状张量范畴；它和顶点代数和共形场论关系密切。