>>672
自分はその時点では懸念と言えるようなものじゃないと思うんですけどね。雑感という感じで
タオの懸念ていうのがはっきり見えるのは、やっぱり去年末の応用可能性とかについて述べたコメかなと
Robertsの発言については個人的にはちょっと違うかなと思っている
山下さんの言う通り、もはや単なるgeometric morphismだけの議論ではないだろうという点がね
確かに最先端の圏論には望月さんは熟知していないだろうけど、しかしLurieとかの理論もGMの設定なんでね