m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 昨日の記事「全称・存在限量子の色々をまとめた絵」に対するオマケのようなものです。が、昨日の記事とは独立に読めます。空虚な束縛〈vacuous quantification〉の話をします。随伴関手対の観点からの説明です。内容： 空虚な束縛とは 随伴ペアとEPペア 変数水増しと空虚な束縛 射影の逆像と像はEPペア 空虚な束縛とはPが、集合X×Y上の述語だとします。構文的には、Pは変数x, yを含む（可能性がある）とします。正確には、意味領域の述語（真偽値をとる関数） P:X×Y→{True, False} と、それを表現する構文領域の存在物である論理式は別物なんですが、ここではあまり区別しないで、… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20180731%2F1533020468" title="空虚な束縛とEPペア - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://www.chimaira.org/img4/quantif-adjunction.png Hatena Blog https://hatena.blog 2018-07-31 16:01:08 rich https://m-hiyama.hatenablog.com/entry/20180731/1533020468 1.0 100%