[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
619(1): 2019/06/23(日)09:20 ID:xRArnFnh(1/3) AAS
>>615
結構適当に書いてるのは認めるけど、匿名にしかやり場がないってのは外れてるな
これでもかなり言いたいことを抑えてるから
ついでに言ったら捨象という表現も本当は不十分だけど、より良い言い方を書くほど親切ではないしな
まあ数学での抽象化による効果、意義は簡単な問題ではない。自己レス>>610にもちょっと不満があるし
>>613
「消してずらして埋める」という感じですね。それで、言うほどには格子の論理には必然性がないとは思う
「多重充満同型とかは必要ない」というのは動機がIUTでは代数幾何、スキーム自体の一般化なので、個人的には
言い切る自信はないんだが、フレームワークを実現するために強引な仕組みを使ってる感じというか
反論とまでは行かないんですが、本来のスキームではなくスキーム論的なデータがIUTの狙いですので
省1
621(1): 2019/06/23(日)09:43 ID:xRArnFnh(2/3) AAS
存在と復元の基盤についてはbi-coricな文脈での関手性がその部分になってると思いますね
乗法→加法
正則→非正則
に渡り局所ー大域アルゴリズムの核性が成立するというものだったと思いますが
その上で宇宙の族（species）、コレクションを一斉に示し評価していると主張している
望月氏や弟子は本来なら、非遠アーベル幾何学的なスキームの一般化とIUTの対応関係を研究するべきだろうな
そういう認識はしているようだが、本格的にやろうという意思はあまり感じられない
622(1): 2019/06/23(日)09:47 ID:xRArnFnh(3/3) AAS
>>621
厄介なのは、こういう純粋に圏論的な抽象化理解にはIUTが収まらないことなんだけどね
国語力が達者らしい方に論じてもらえるとありがたいんだけど
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.106s*