數學中,範疇化是將集合論定理替換為範疇論類似物的過程。成功的範疇化會將集合替換為範疇,將函數替換為函子,將方程替換為自然變換或函子。

範疇化的逆叫做「去範疇化」,是將範疇內同構的物件在態射意義下視同相等的系統化過程。去範疇化往往比範疇化更簡單。李代數表示論和特定代數上的都是這種研究的合適物件。有幾種對這樣的模進行範疇化的框架,如所謂(弱)阿貝爾範疇。[1]

範疇化和去範疇化不是精確的數學過程,而是一類可能的相似物。這種過程與「廣義化」之類的術語相近,而不像「構造從層化」(Sheafification)之類。[2]

例子

範疇化的一種形式採用了以集合論描述的結構,將集合解釋為範疇內物件的「同構類」。例如自然數集可視作有限集的勢的集合(任意兩個有相同勢的集合都視作同構)。這時,對自然數集的操作,如加法、乘法等運算可以視作對有限集範疇副積。這裏的思想不太抽象地說,是操作由具體物件組成的集合,並取副積(併集)或積(構建元素的數組);之後,集合的內在結構便通過「同構取等」被抽象出來,產生算術的抽象理論。這是「去範疇化」的過程,範疇化會把它逆過來。

另一個例子包括拓撲學中的同調埃米·諾特給出了同調的現代闡釋:即通過範疇化貝蒂數的標記,得到的特定自由阿貝爾群[3]另見Khovanov同調在紐結理論中作為紐結不變量

有限群理論中的一個例子是,對稱函數環的範疇化可以通過對稱群的表示的範疇實現。去範疇化映射將Specht模對 的偏變為Schur函數的同一個偏,即

 

基本遵循了從關聯的格羅滕迪克群的最適基到對稱函數環的表示論最適基的特徵映射。這樣的映射反映了結構如何保持相似,例如

 

在各自的基上有相同的分解數,都可以由Littlewood–Richardson係數確定。

阿貝爾範疇化

對範疇 ,令  格羅滕迪克群

 為是自由阿貝爾群,並使  的基,這樣 中的乘法就是正定的,即

 ,其中 

  -,則 的(弱)阿貝爾範疇會包括一個阿貝爾範疇 、一個同構關係 、精確自函子 ,則

  1. 函子  的活動施於模 ,即 
  2. 有同構關係 ,即複合 可以分解為函子 的直和。相對地, 也可以分解為基元素 的線性組合。

另見

參考文獻

  1. ^ Khovanov, Mikhail; Mazorchuk, Volodymyr; Stroppel, Catharina, A brief review of abelian categorifications, Theory Appl. Categ., 2009, 22 (19): 479–508, arXiv:math.RT/0702746  
  2. ^ Alex Hoffnung. What precisely Is "Categorification"?. 2009-11-10 [2023-09-01]. (原始內容存檔於2021-05-04). 
  3. ^ Baez & Dolan 1998.

閱讀更多