mbps
https://blog.hatena.ne.jp/mbps/
PS
https://mbps.hatenablog.com/
記号論理
圏論
ただ一つの存在, unique 「Fを満たすxがただ一つ存在する」という命題を、 と書き、 と定義する。 たいていこの定義をそのまま使って証明する。 (このブログの目標である)圏論は、こういう命題だらけである。 は非常に便利な記号だと思うが、教科書ではあまり見ない気がする。 unique up to G 上を一般化したものが圏論に出てくるので先に定義する。 「Fを満たすxがunique up to G」という命題を、 と定義する。日本語では「Gを除いて一意に定まる」という。 「up to G」の部分はよく省略される。 参考文献 wikipedia:en:Uniqueness_quantific…
190
<iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmbps.hatenablog.com%2Fentry%2F2013%2F04%2F03%2F085107" title="ただ一つの存在 - PS" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe>
http://chart.apis.google.com/chart?cht=tx&chl=%5Cexists
Hatena Blog
https://hatena.blog
2013-04-03 08:51:07
ただ一つの存在
rich
https://mbps.hatenablog.com/entry/2013/04/03/085107
1.0
100%