主题
Search

张量范畴


TensorCategory1
TensorCategory2

范畴论 中,一个张量范畴 (C, tensor ,I,a,r,l) 由一个范畴 C,一个对象 I 属于 C,一个函子  tensor :C×C->C,以及一个自然同构组成

a=a_(UVW):(U tensor V) tensor W->U tensor (V tensor W)
(1)
r=r_V:V tensor I->V
(2)
l=l_V:I tensor V->V,
(3)

其中的数据须服从以下公理

1. 给定四个对象 UVWX 属于 C,上面的顶部图表是可交换的。

2. 给定两个对象 UV 属于 C,上面的底部图表是可交换的。

在以上内容中, tensor 被称为张量积,a 被称为结合子,r 被称为右单位,而 l 被称为张量范畴的左单位。对象 I 被称为中性元素或张量积的单位元。

如果映射 alr 始终是单位映射,则所讨论的张量范畴被称为严格的。

一个相关的概念是张量 R-范畴


另请参阅

范畴, 范畴论, 函子, 态射, 自然同构, 自然变换, 对象, 严格张量范畴, 单位自然变换

此条目由 Christopher Stover 贡献

使用 Wolfram|Alpha 探索

参考文献

Dieck, T. T. "量子群与纽结代数." 2000. http://www.uni-math.gwdg.de/tammo/dm.pdf.

引用为

Stover, Christopher. "张量范畴." 来自 MathWorld--沃尔夫勒姆网络资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/TensorCategory.html

主题分类