数学中，**范畴化**是将集合论的定理替换为范畴论类似物的过程。成功的范畴化会将集合替换为范畴，将函数替换为函子，将方程替换为自然变换或函子。

范畴化的逆叫做"去范畴化"，是将范畴内同构的物件在态射意义下视同相等的系统化过程。去范畴化往往比范畴化更简单。李代数的表示论和特定代数上的模都是这种研究的合适物件。有几种对这样的模进行范畴化的框架，如所谓（弱）阿贝尔范畴。

范畴化和去范畴化不是精确的数学过程，而是一类可能的相似物。这种过程与"广义化"之类的术语相近，而不像"构造从层化"（Sheafification）之类。

例子
--

范畴化的一种形式采用了以集合论描述的结构，将集合解释为范畴内物件的"同构类"。例如自然数集可视作有限集的势的集合（任意两个有相同势的集合都视作同构）。这时，对自然数集的操作，如加法、乘法等运算可以视作对有限集范畴的副积和积。这里的思想不太抽象地说，是操作由具体物件组成的集合，并取副积（并集）或积（构建元素的数组）；之后，集合的内在结构便通过"同构取等"被抽象出来，产生算术的抽象理论。这是"去范畴化"的过程，范畴化会把它逆过来。

另一个例子包括拓扑学中的同调。埃米·诺特给出了同调的现代阐释：即通过范畴化贝蒂数的标记，得到的特定自由阿贝尔群的秩。另见Khovanov同调在纽结理论中作为纽结不变量。

有限群理论中的一个例子是，对称函数环的范畴化可以通过对称群的表示的范畴实现。去范畴化映射将Specht模对\lambda 的偏变为Schur函数的同一个偏，即

{\displaystyle S^{\lambda }{\stackrel {\varphi }{\to }}s\_{\lambda }}
基本遵循了从关联的格罗滕迪克群的最适基到对称函数环的表示论最适基的特征映射。这样的映射反映了结构如何保持相似，例如

{\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系数确定。

阿贝尔范畴化
------

对范畴\mathcal{B}，令{\displaystyle K({\mathcal {B}})}为\mathcal{B}的格罗滕迪克群。

令A为是自由阿贝尔群的环，并使{\displaystyle \mathbf {a} =\{a\_{i}\}\_{i\in I}}为A的基，这样\mathbf {a} 中的乘法就是正定的，即

{\displaystyle a\_{i}a\_{j}=\sum \_{k}c\_{ij}^{k}a\_{k},}，其中{\displaystyle c\_{ij}^{k}\in \mathbb {Z} \_{\geq 0}}
令B为A-模，则{\displaystyle (A,\mathbf {a} ,B)}的（弱）阿贝尔范畴会包括一个阿贝尔范畴\mathcal{B}、一个同构关系{\displaystyle \phi :K({\mathcal {B}})\to B}、精确自函子{\displaystyle F\_{i}:{\mathcal {B}}\to {\mathcal {B}}}，则

1. 函子F\_{i}将a\_{i}的活动施于模B，即{\displaystyle \phi [F\_{i}]=a\_{i}\phi }；
2. 有同构关系{\displaystyle F\_{i}F\_{j}\cong \bigoplus \_{k}F\_{k}^{c\_{ij}^{k}},}，即复合{\displaystyle F\_{i}F\_{j}}可以分解为函子{\displaystyle F\_{k}}的直和。相对地，{\displaystyle a\_{i}a\_{j}}也可以分解为基元素a\_{k}的线性组合。

另见
--

* 组合证明，将数论的定理以集合论的类似物表示的过程。
* 高阶范畴
* 高维代数
* 2-环

参考文献
----

1. ↑  Khovanov, Mikhail; Mazorchuk, Volodymyr; Stroppel, Catharina, Theory Appl. Categ. 2009, **22** (19): 479–508, arXiv:math.RT/0702746 可免费查阅
2. ↑  Alex Hoffnung.. 2009-11-10  [2023-09-01]. （原始内容存档于2021-05-04）.
3. ↑  Baez & Dolan 1998.

* Baez, John; Dolan, James, Getzler, Ezra; Kapranov, Mikhail (编), Contemp. Math. **230**, Providence, Rhode Island: American Mathematical Society: 1–36, 1998, arXiv:math.QA/9802029 可免费查阅
* Crane, Louis; Yetter, David N. Cahiers de Topologie et Géométrie Différentielle Catégoriques, 1998, **39** (1): 3–25  [2023-09-01], （原始内容存档于2023-09-01）
* Mazorchuk, Volodymyr, QGM Master Class Series, European Mathematical Society, 2010, Bibcode:2010arXiv1011.0144M, arXiv:1011.0144 可免费查阅
* Savage, Alistair, 2014, Bibcode:2014arXiv1401.6037S, arXiv:1401.6037 可免费查阅
* Khovanov, Mikhail; Mazorchuk, Volodymyr; Stroppel, Catharina, Theory Appl. Categ. 2009, **22** (19): 479–508, arXiv:math.RT/0702746 可免费查阅

阅读更多
----

* A blog post by one of the above authors (Baez):  （页面存档备份，存于）.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
范畴论 |
| --- |
|  |
| 

|  基本概念 |
| --- |
|  |
| 

|  |  |
| --- | --- |
| 基本概念 | 
* 範疇
* 伴隨函子
* 交换图表
* 具體範疇
* 函子
* 态射
* 自然變換
* 泛性质

 |
|  |
| 泛構造 | 

|  |  |
| --- | --- |
| 極限 | 
* 終對象
* 積
* 等化子
	+ 核（英语：）
* 拉回
* 逆極限（英语：）

 |
|  |
| 餘極限 | 
* 始對象
* 餘積（英语：）
* 餘等化子（英语：）
	+ 餘核
* 推出
* 正極限（英语：）

 |

 |
|  |
| 代數範疇（英语：） | 
* 集合
* 關係
* 原群
* 群
* 阿貝爾群
* 環（英语：）
	+ 域
* 模（英语：）
	+ 向量空間

 |
|  |
| 範疇上的構造 | 
* 自由範疇（英语：）
* 函子範疇
* 商範疇（英语：）
* 積範疇
* 子範疇

 |

 |

 | A simple triangular commutative diagram |
|  |
| 

|  高階範疇論（英语：） |
| --- |
|  |
| 

|  |  |
| --- | --- |
| 基本概念 | 
* 範疇化
* 濃縮範疇（英语：）
* 高維代數（英语：）
* 同倫假設（英语：）
* 模型范畴
* 单纯范畴

 |
|  |
| n-範疇 | 

|  |  |
| --- | --- |
| 弱 n-範疇（英语：） | 
* 雙範疇（英语：）
	+ 偽函子（英语：）
* 三範疇（英语：）
* 四範疇（英语：）
* 闞複形（英语：）
* ∞-廣群（英语：）
* ∞-拓撲斯（英语：）

 |
|  |
| 強 n-範疇 | 
* 2-範疇
	+ 2-函子（英语：）
* 3-範疇（英语：）

 |

 |
|  |
| 範疇化概念 | 
* 2-群（英语：）
* 2-環（英语：）
* *En*-環（英语：）
* (對稱（英语：）) 么半範疇
* *n*-群（英语：）
* *n*-么半群（英语：）

 |

 |

 |
|  |
| 
* 分类 分類
* 主题 主題
* 维基教科书页面 維基教科書

 |

 |