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

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

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

参照用 記事

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

入れ子の宇宙を可能とする公理

昨日「階層的な圏論的宇宙・楽観的暫定版」において、グロタンディーク宇宙の無限系列 U0, U1, U2, ... があったらいいな、という話を書きました。圏論の宇宙に関する資料はなかなか見つからないのですが、ロー〈Zhen Lin Low〉の次の論文があります。 Title…