この度、以下のスレッドを設立したのでご案内させていただく

グロダンディークの夢−トポスと正多面体
https://rio2016.5ch.net/test/read.cgi/math/1595636911/