定義
C と D を圏とする。
F：C → D を関手とする。
f：X → Y を C の射とする。
F(f) が全射（代数的整数論017の345）なら常に f が全射であるとき F は全射を反映するという。