20/05/05 15:41:45 0j0XjYk4.net
>>961
DupuyはCor3.12はわかんないと言いながらScholzeに喧嘩売って、
Scholzeの圏論上の指摘に反論できてなかったやん
Woitのブログのやりとりをみるかぎり、DupuyはScholzeが指摘してる圏論上の欠陥について、
正しいというのなら圏論でべつの再構成をしてみろと言われてできてなかった
これはさらに遡ればSSレポートが提示した圏論の枠組み（最終ページ付近）について、
IUTサイドは「違う」というだけで、
どういう圏論上の表記が正しいのかを示してないのとパラレルなんだよね