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