PS

Reflection

Functor  F と命題の族  (x \text{ is } P) _ x について

Preserves

  •  x \text{ is } P \Rightarrow F(x) \text{ is } P

のとき、 F preserves  P という。

Reflects

  •  F(x) \text{ is } P \Rightarrow x \text{ is } P

のとき、 F reflects  P という。

Respects

ついでに、関数  f と equivalence relation  \sim について、

  •  x \sim y \Rightarrow f(x) = f(y)

とき、 f respects  \sim という。

参考文献