定義
C を零対象(過去スレ017の791)を持つ圏とする。
f：X → Y を圏 C における射とする。
f がある射の核(過去スレ017の794)と一致するとき
f を正規射(normal monomorphism)と言う。

f がある射の余核(過去スレ017の856)と一致するとき
f を余正規射(conormal monomorphism)と言う。