喺數學入面，範疇化就係由基於集合論嘅定理轉移去基於範疇論而對應嘅定理。當範疇化成功嗰陣時，佢會用範疇嚟代替集合、函子嚟代替函數、符合附加條件嘅自然變換嚟代替方程式。範疇化嘅英文term係由louiscrane發明嘅。