定義
F: C → D を関手とする。

F(f)：F(X) → F(Y) が同型なら f：X → Y は必ず同型であるとき
F は同型を反映する(F reflects isomorphisms)という。