张量范畴:范畴论中的一种结构,指一个带有“张量积”(通常记为 ⊗)的范畴,使对象与态射能够以类似“相乘/组合”的方式进行运算,并满足结合律、单位对象等相容性条件。它常用于表示与对称性、表示论、量子群、拓扑量子场论等相关的代数结构。(在不同语境下还可细分为“幺半范畴/monoidal category”“对称张量范畴”等。)
/ˈtɛnsər ˈkætəɡəri/
A tensor category provides a way to combine objects using a tensor product.
张量范畴提供了一种用张量积把对象组合起来的方法。
In representation theory, tensor categories organize how representations decompose and interact under tensor products.
在表示论中,张量范畴用来系统整理表示在张量积下如何分解以及如何相互作用。
tensor 源自拉丁语词根 *tend-*(意为“拉伸、绷紧”),在数学中引申为“张量”这一可描述多线性关系的对象;category 源自希腊语 katēgoria(“归类、范畴”)。合起来的 tensor category 字面意思是“带张量结构的范畴”,强调在范畴论框架中加入一种可组合的“乘法式”运算(⊗)。