范畴化

数学中，范畴化是将集合论的定理替换为范畴论类似物的过程。成功的范畴化会将集合替换为范畴，将函数替换为函子，将方程替换为自然变换或函子。 范畴化的逆叫做“去范畴化”，是将范畴内同构的物件在态射意义下视同相等的系统化过程。去范畴化往往比范畴化更简单。李代数的表示论和特定代数上的模都是这种研究的合适物件。有几种对这样的模进行范畴化的框架，如所谓（弱）阿贝尔范畴。 范畴化和去范畴化不是精确的数学过程，而是一类可能的相似物。这种过程与“广义化”之类的术语相近，而不像“构造从层化”（Sheafification）之类。 范畴化的一种形式采用了以集合论描述的结构，将集合解释为范畴内物件的“同构类”。例如自然数集可视作有限集的势的集合（任意两个有相同势的集合都视作同构）。这时，对自然数集的操作，如加法、乘法等运算可以视作对有限集范畴的副积和积。这里的思想不太抽象地说，是操作由具体物件组成的集合，并取副积（并集）或积（构建元素的数组）；之后，集合的内在结构便通过“同构取等”被抽象出来，产生算术的抽象理论。这是“去范畴化”的过程，范畴化会把它逆过来。 另一个例子包括拓扑学中的同调。埃米·诺特给出了同调的现代阐释：即通过范畴化贝蒂数的标记，得到的特定自由阿贝尔群的秩。另见Khovanov同调在纽结理论中作为纽结不变量。 有限群理论中的一个例子是，对称函数环的范畴化可以通过对称群的表示的范畴实现。去范畴化映射将Specht模对 λ {\displaystyle \lambda } 的偏变为Schur函数的同一个偏，即 S λ → φ s λ {\displaystyle S^{\lambda }{\stackrel {\varphi }{\to }}s_{\lambda }} 基本遵循了从关联的格罗滕迪克群的最适基到对称函数环的表示论最适基的特征映射。这样的映射反映了结构如何保持相似，例如 [ Ind S m ⊗ S n S n + m ⁡ ( S μ ⊗ S ν ) ]  and  s μ s ν {\displaystyle \left[\operatorname {Ind} _{S_{m}\otimes S_{n}}^{S_{n+m}}(S^{\mu }\otimes S^{\nu })\right]\qquad {\text{ and }}\qquad s_{\mu }s_{\nu }} 在各自的基上有相同的分解数，都可以由Littlewood–Richardson系数确定。 对范畴 B {\displaystyle {\mathcal {B}}} ，令 K ( B ) {\displaystyle K({\mathcal {B}})} 为 B {\displaystyle {\mathcal {B}}} 的格罗滕迪克群。 令 A {\displaystyle A} 为是自由阿贝尔群的环，并使 a = { a i } i ∈ I {\displaystyle \mathbf {a} =\{a_{i}\}_{i\in I}} 为 A {\displaystyle A} 的基，这样 a {\displaystyle \mathbf {a} } 中的乘法就是正定的，即 a i a j = ∑ k c i j k a k , {\displaystyle a_{i}a_{j}=\sum _{k}c_{ij}^{k}a_{k},} ，其中 c i j k ∈ Z ≥ 0 {\displaystyle c_{ij}^{k}\in \mathbb {Z} _{\geq 0}} 令 B {\displaystyle B} 为 A {\displaystyle A} -模，则 ( A , a , B ) {\displaystyle (A,\mathbf {a} ,B)} 的（弱）阿贝尔范畴会包括一个阿贝尔范畴 B {\displaystyle {\mathcal {B}}} 、一个同构关系 ϕ : K ( B ) → B {\displaystyle \phi :K({\mathcal {B}})\to B} 、精确自函子 F i : B → B {\displaystyle F_{i}:{\mathcal {B}}\to {\mathcal {B}}} ，则 函子 F i {\displaystyle F_{i}} 将 a i {\displaystyle a_{i}} 的活动施于模 B {\displaystyle B} ，即 ϕ [ F i ] = a i ϕ {\displaystyle \phi [F_{i}]=a_{i}\phi } ； 有同构关系 F i F j ≅ ⨁ k F k c i j k , {\displaystyle F_{i}F_{j}\cong \bigoplus _{k}F_{k}^{c_{ij}^{k}},} ，即复合 F i F j {\displaystyle F_{i}F_{j}} 可以分解为函子 F k {\displaystyle F_{k}} 的直和。相对地， a i a j {\displaystyle a_{i}a_{j}} 也可以分解为基元素 a k {\displaystyle a_{k}} 的线性组合。 组合证明，将数论的定理以集合论的类似物表示的过程。 高阶范畴 高维代数 2-环 Khovanov, Mikhail; Mazorchuk, Volodymyr; Stroppel, Catharina, A brief review of abelian categorifications, Theory Appl. Categ., 2009, 22 (19): 479–508, arXiv:math.RT/0702746   Alex Hoffnung. What precisely Is "Categorification"?. 2009-11-10 [2023-09-01]. （原始内容存档于2021-05-04）.  Baez & Dolan 1998. Baez, John; Dolan, James, Categorification, Getzler, Ezra; Kapranov, Mikhail (编), Higher Category Theory, Contemp. Math. 230, Providence, Rhode Island: American Mathematical Society: 1–36, 1998, arXiv:math.QA/9802029   Crane, Louis; Yetter, David N., Examples of categorification, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 1998, 39 (1): 3–25 [2023-09-01], （原始内容存档于2023-09-01）  Mazorchuk, Volodymyr, Lectures on Algebraic Categorification, QGM Master Class Series, European Mathematical Society, 2010, Bibcode:2010arXiv1011.0144M, arXiv:1011.0144   Savage, Alistair, Introduction to Categorification, 2014, Bibcode:2014arXiv1401.6037S, arXiv:1401.6037   Khovanov, Mikhail; Mazorchuk, Volodymyr; Stroppel, Catharina, A brief review of abelian categorifications, Theory Appl. Categ., 2009, 22 (19): 479–508, arXiv:math.RT/0702746   A blog post by one of the above authors (Baez): https://golem.ph.utexas.edu/category/2008/10/what_is_categorification.html （页面存档备份，存于互联网档案馆）.