n::::定义.设formula_1为一个有有限射影极限与归纳极限的范畴。设formula_2为态射。设formula_3为积的投影，而formula_4为上积的内射。定义：根据极限性质，自然态射formula_7是满射，而formula_8则是单射。此外还存在唯一一个态射formula_9，使得合成态射正好是formula_11。若formula_12为同构，则称formula_11为正规态射；正规态射可以写成满射与单射的合成。所有态射皆为正规态射的范畴称为正规范畴。Section::