[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
526(1): 2019/11/29(金)22:26 ID:7cxIzNVO(4/4) AAS
この論争が面白いのは、望月さんはnon-isom over isomはいくらでもあるってレポートで言ってるんだけど、
本当は懐疑的な人達はもっと基本的なレベルでおかしいと感じてるんだよね
結果的に望月さんは圏論じゃなくてラベルを論拠にするしかないんだよ
534(1): 2019/11/29(金)23:37 ID:SJwiXU4F(4/5) AAS
>>526
まあそういうことですね
アナベリオイドの幾何学でも、IUT初期構想でも初めからラベルの話が出てきます
ラベルの使用を前提にすれば圏、トポス、グロタンディーク宇宙を使って充満多重同型なるものができると考えたのでしょうね
両者は切っても切れないわけです
で、SSのように充満多重同型を切って捨てれば当然ラベルも切って捨てることになる
また同じ話の繰り返しですねｗ
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.909s*