>>843
唯一公けで書いているロバーツですら辛辣になってきましたね。“private fan dance”とまで書いています
Anabelian geometry 〜 higher category theory
ttps://mathoverflow.net/questions/331349/anabelian-geometry-higher-category-theory

私も以前「圏論を偽装しているのではないか」と書いたことがありますが、ロバーツもほとんど同じことを言い始めてますね
彼の関心はIUTそのものではなく、それを叩き台にしてトポスなどを考えることにあると思います

ショルツ、スティックス、コンラッド、ロバーツのような人たちこそMは対話者、相談役として大事にすべきだったと思いますけどね
良薬は口に苦し、とはまさにこのことです