在范畴论中，正规态射是一类可以自然地分解成单射与满射的态射。使所有态射皆为正规态射的范畴称为正规范畴。

设为一个有有限射影极限与归纳极限的范畴。设为态射。设为积的投影，而为上积的内射。定义：

• 上像：
• 像：

根据极限性质，自然态射是满射，而则是单射。此外还存在唯一一个态射，使得合成态射

正好是。

若为同构，则称为正规态射；正规态射可以写成满射与单射的合成。所有态射皆为正规态射的范畴称为正规范畴。

In category theory and its applications to mathematics, a normal monomorphism or conormal epimorphism is a particularly well-behaved type of morphism. A normal category is a category in which every monomorphism is normal. A conormal category is one in which every epimorphism is conormal.