定義
C と D を零対象（代数的整数論017の791）を持つ圏とする。
F：C → D を関手とする。
X を C の対象とする。
F(X) = 0 なら常に X = 0 となるとき F は零対象を反映するという。