定義
C を圏とする。
M を C の射からなる類(過去スレ017の323)とする。
M-射 e：X → Y は ef が M-射であるような f：Z → X が常に M-射であるとき
M-余本質的(M-coessential)と呼ばれる。