定義
F：C → D を関手とする。
f：X → Y を C における射で F(f) が同型なら f も同型であるとき
F は同型を反映する(F reflects isomorphisms)という。