ただ一つの存在, unique
「Fを満たすxがただ一つ存在する」という命題を、
と書き、
と定義する。
たいていこの定義をそのまま使って証明する。
(このブログの目標である)圏論は、こういう命題だらけである。
は非常に便利な記号だと思うが、教科書ではあまり見ない気がする。
unique up to G
上を一般化したものが圏論に出てくるので先に定義する。
「Fを満たすxがunique up to G」という命題を、
と定義する。日本語では「Gを除いて一意に定まる」という。
「up to G」の部分はよく省略される。
参考文献