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

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

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

参照用 記事

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

圏の束構造と包含的圏

先週の記事「最近の型理論: 宇宙・世界・銀河 もう少し」では、型理論をホストする圏について考えてみました。ある程度の極限・余極限を持つデカルト閉圏があれば、そこで型理論を展開できそうです。が、対象のあいだの包含関係が欲しくなることがあります…