正规态射 Normal morphism
(重定向自Conormal)
在范畴论中,正规态射是一类可以自然地分解成单射与满射的态射。使所有态射皆为正规态射的范畴称为正规范畴。
设为一个有有限射影极限与归纳极限的范畴。设
为态射。设
为积的投影,而
为上积的内射。定义:
- 上像:
- 像:
根据极限性质,自然态射是满射,而
则是单射。此外还存在唯一一个态射
,使得合成态射
正好是。
若为同构,则称
为正规态射;正规态射可以写成满射与单射的合成。所有态射皆为正规态射的范畴称为正规范畴。