定義
C と D を前加法圏（代数的整数論019の533）とする。
F：C → D を関手とする。
K → X → Y を C における任意の射の列とする。
F(K) → F(X) が F(X) → F(Y) の核（代数的整数論019の506）なら
常に K → X も X → Y の核であるとき F は核を反映する(F reflects kernel)という。