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