このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2017-08-24から1日間の記事一覧

述語論理とインデックス付き圏と限量随伴性

命題論理の圏論的対応物としてデカルト閉圏やその拡張があります。述語論理の圏論的対応物はトポスだと思っている方が多いでしょう。確かにトポスがあれば(高階の)述語論理の入念な議論ができますが、トポスは複雑で難しいです。もう少し簡単な圏論的構造…