范畴化 数学中范畴化是将集合论的定理替换为范畴论类似物的过程成功的范畴化会将集合替换为范畴将函数替换为函子将方程替换为自然变换或函子 范畴化的逆叫做去范畴化是将范畴内同构的物件在态射意义下视同相等的系统化过程去范畴化往往比范畴化更简单李代数的表示论和特定代数上的模都是这种研究的合适物件有几种对这样的模进行范畴化的框架如所谓弱阿贝尔范畴 范畴化和去范畴化不是精确的数学过程而是一类可能的相似物这种过程与广义化之类的术语相近而不像构造从层化Sheafification之类