主題
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 貢獻

使用 探索

參考文獻

Dieck, T. T. "量子群與紐結代數." 2000. http://www.uni-math.gwdg.de/tammo/dm.pdf.

引用為

Stover, Christopher. "張量範疇." 來自 --沃爾夫勒姆網路資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/TensorCategory.html

主題分類