19/06/09 01:04:00.97 XNG4QO4R.net
>>339
あなたが以前書いていたように、ケドラヤ辺りが考えていそうなHoTTで補ってはどうかということですね
仮に遠い未来に結果的に（事後的に）正しいとされても、途中の説明が抜けているとは言えますね
現状では種の言語と突然変異で厳密に定式化できているぞ～、と言っているだけで
（その割にはその部分は強調しないで、多輻的アルゴリズムで分かってもらえるはずだという不可解な態度）
あと対数テータリンクの非可換性についてもどうなんですかね？ショルツも最初はそれを質問していたそうですし、
星の入門でも「非可換性の解消」とか書いていますし、よく分かりません・・・
>>340
確かに本人も同義反復的な解決については、「数論幾何、いや数学の常套手段である！」とは書いていますね
ただIUTは環・スキーム論を部分的に解体しているので、歪みの計算までしなければいけなくなる
一見、新奇な発想には見えませんが、やはり単遠アーベル的な復元/構成による充満多重同型とラベルの使用の問題に行きつく
結局、話は振り出しに戻りますね（笑）