(一般化しても正しい用語なのか分からないが･･･) 関数: 部分集合の族: について Preservation のとき、 preserves という。 このとき、関数: を作ることが出来る。 Reflection のとき、 reflects という。 Lifting のとき、 lifts という。 Unique lifting …

任意の について 単射, injective のとき、fは単射である、という。このとき、圏論では、 と書くようだ。 全射, surjective のとき、fは全射である、という。このときの記号も欲しいが知らない。 全単射, bijective fが単射かつ全射であるとき、fは全単射で…

@deprecated A, Bを任意の集合とする。 二項関係, binary relation なるRを、「AとBの間の二項関係」と言い、Aを「Rのdomain」、Bを「Rのcodomain」と言う。 関数, function fが、AとBの間の二項関係であり、 を満たすとき、fを「AからBへの関数」と言い、 …