在范畴中, 正则单态射是可以实现为等子的单态射. 对偶地, 也有正则满态射的概念.
定义 1.1. 设 C 是范畴, f:x→y 是 C 中的单态射. 若存在 g1,g2:y→z, 使得 f=eq(g1,g2), 则称 f 是正则单态射.
术语翻译
正则单态射 • 英文 regular monomorphism • 德文 regulärer Monomorphismus (m) • 法文 monomorphisme régulier (m)