19/12/04 07:16:53.50 2LqSA9Bj.net
ｽﾚﾘﾝｸ(math板:130番)
>ラベル付けが普通の圏論と識別の仕方が異なる
>Peter Scholze and Jakob Stixが指摘したのは、
>IUTを単純化した圏論モデルで、IUTのラベル識別が矛盾する
>ということ
だろ？
だから望月のラベルの議論は圏論の外
圏論では正当化できない
1秒で気付けよ 馬鹿ｗ
ScholzeとStixはわかっていて単純化してみせた
望月はこの「挑発」に対して、自分の理屈を
十二分に説明し切って反駁する必要がある
しかし結局できていない
要するにラベルの取り扱いが
望月一人の「秘儀」「密教」
になってるということ