在范畴论中，若一个范畴formula_1满足下列条件，则称它是泸子化的（或）：以泸子化范畴为索引的上极限称作泸子化上极限，它带有良好的性质。若formula_10是泸子化范畴，则称formula_1是上泸子化的（或），以其为索引的极限称作上泸子化极限。