在 范畴论 中,一个张量范畴 由一个范畴
,一个对象
属于
,一个函子
,以及一个自然同构组成
(1)
| |||
(2)
| |||
(3)
|
其中的数据须服从以下公理
1. 给定四个对象 、
、
和
属于
,上面的顶部图表是可交换的。
2. 给定两个对象 和
属于
,上面的底部图表是可交换的。
在以上内容中, 被称为张量积,
被称为结合子,
被称为右单位,而
被称为张量范畴的左单位。对象
被称为中性元素或张量积的单位元。
如果映射 、
和
始终是单位映射,则所讨论的张量范畴被称为严格的。
一个相关的概念是张量 R-范畴。