本質拡大
この定義は任意のアーベル圏 C に一般化できる。本質拡大とは単射 u : M → E であってすべての 0 でない部分対象 s : N → E に対してファイバー積 N ×E M ≠ 0 であるようなものである。