0760132人目の素数さん垢版 | 大砲2018/11/23(金) 23:59:19.42ID:fqqTJscH >>755 >これはあくまでも新たな「数学の言語」 そこまで言うなら、IUTTの「種の言語(the Language of Species)」と、 ブルバキの「構造種 (species of structure)」との違いを述べてくれないか これは望月が独創的なのかどうか判定する上で重要な要素だよ それと、事実上、圏論を無視したという点についても同様に重要なことだ さあ、説明してくれたまえ