昨日の記事「全称・存在限量子の色々をまとめた絵」に対するオマケのようなものです。が、昨日の記事とは独立に読めます。空虚な束縛〈vacuous quantification〉の話をします。随伴関手対の観点からの説明です。内容： 空虚な束縛とは 随伴ペアとEPペア 変数…