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

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

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

参照用 記事

2023-04-17から1日間の記事一覧

述語論理: 二重圏的ハイパードクトリン

ハイパードクトリンのベース圏はデカルト圏を仮定するのが普通です。が、デカルト圏の代わりに二重圏をベース圏として採用してみると、これはこれで使いやすい気がします。述語論理系やベック/シュバレー条件が比較的素直に定義できます。[追記]シード付き…