19/05/25 13:59:50.83 xna1+nEu.net
>>843
唯一公けで書いているロバーツですら辛辣になってきましたね。“private fan dance”とまで書いています
Anabelian geometry ～ higher category theory
URLﾘﾝｸ(mathoverflow.net)
私も以前「圏論を偽装しているのではないか」と書いたことがありますが、ロバーツもほとんど同じことを言い始めてますね
彼の関心はIUTそのものではなく、それを叩き台にしてトポスなどを考えることにあると思います
ショルツ、スティックス、コンラッド、ロバーツのような人たちこそMは対話者、相談役として大事にすべきだったと思いますけどね
良薬は口に苦