>>265
より正確にはロバーツさんが指摘しているのは、グロタンディーク宇宙なのかトポスの比喩として使われる宇宙なのか分からないこと
山下さんのFAQはグロタンディーク宇宙で解釈しても良いとあるが、トポスと解釈できる部分があるというロバーツさんの見解から見ると誤り
一方査読が通ったときの望月さんからの回答をまとめたQAでは、宇宙が1960年代に定義されたとあるが、奇しくもグロタンディーク宇宙もトポスもSGA4で1960年代に定義されたので、望月さんが混同してるのかどうか分からない(望月さんは意識的に区別してるかもしれないというロバーツさんの指摘もある)