數學中,範疇化是將集合論的定理替換為範疇論類似物的過程。成功的範疇化會將集合替換為範疇,將函數替換為函子,將方程替換為自然變換或函子。
範疇化的逆叫做「去範疇化」,是將範疇內同構的物件在態射意義下視同相等的系統化過程。去範疇化往往比範疇化更簡單。李代數的表示論和特定代數上的模都是這種研究的合適物件。有幾種對這樣的模進行範疇化的框架,如所謂(弱)阿貝爾範疇。[1]
範疇化和去範疇化不是精確的數學過程,而是一類可能的相似物。這種過程與「廣義化」之類的術語相近,而不像「構造從層化」(Sheafification)之類。[2]