定義
(C, U) を圏 A 上の準具象圏(過去スレ019の794)とする。
M を C の商射(過去スレ019の834)全体からなる類(過去スレ017の323)とする。
M-余本質的(>>62)な射を余本質的(coessential)な射と呼ぶ。