>>755
＞これはあくまでも新たな「数学の言語」

そこまで言うなら、IUTTの「種の言語(the Language of Species)」と、
ブルバキの「構造種 (species of structure)」との違いを述べてくれないか
これは望月が独創的なのかどうか判定する上で重要な要素だよ
それと、事実上、圏論を無視したという点についても同様に重要なことだ

さあ、説明してくれたまえ