ただ一つの存在, unique 「Fを満たすxがただ一つ存在する」という命題を、 と書き、 と定義する。 たいていこの定義をそのまま使って証明する。 (このブログの目標である)圏論は、こういう命題だらけである。 は非常に便利な記号だと思うが、教科書ではあま…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。