一昨々日： 階層的な圏論的宇宙・楽観的暫定版 一昨日： 入れ子の宇宙を可能とする公理 昨日： グロタンディーク宇宙って何なんだ？ 信じる者は救われる or 巣食われる公理というのは、明らかに矛盾があれば別だけど、そうじゃないなら、採用するかしないか…