a_3为积的投影，而formula_4为上积的内射。定义：根据极限性质，自然态射formula_7是满射，而formula_8则是单射。此外还存在唯一一个态射formula_9，使得合成态射正好是formula_11。若formula_12为同构，则称formula_11为正规态射；正规态射可以写成满射与单射的合成。所有态射皆为正规态射的范畴称为正规范畴。
例子.正规态射的重要特性在于它分解为满射与单射，此分解在阿贝尔范畴中扮演关键角色。对于集合范畴、群范畴以及一