過去に、随伴関手対を使った全称限量子と存在限量子の解釈や、限量記号（∀と∃）の使い方などを述べたことがあります。これらのことを、短くまとめる必要があったので、まとめの絵を描きました。その絵をこの記事に載せます。過去記事全称限量子と存在限量子…