PS

Reflection

定義 Functor

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$ という。

参考文献

isbn:0486469344