Inter-universal geometry と ABC予想 38at MATHInter-universal geometry と ABC予想 38 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このスレッドのURL■項目テキスト850:132人目の素数さん 19/05/24 11:48:07.26 CyavMT2t.net >>798 単なる全ての同型の集合を充満多重同型とか仰々しい言い方をしてるの、これ? 851:132人目の素数さん 19/05/24 11:59:40.97 cxqFnmjM.net >>816 Yes 852:132人目の素数さん 19/05/24 12:04:30.67 cxqFnmjM.net 分脈によってはただの同型を「輸送」や「リンク」などと読んでおり キモいとしか言いようがないという・・・ 853:132人目の素数さん 19/05/24 13:27:55.01 cdkWT2mw.net >>806 >>812 これは個人的には予想通りなんですが、KedlayaはHoTTと関連付けうると考えているようです IUTTはガロア圏による分裂を利用した一種の二次元圏としてのモジュライ理論ということもあるが、 プログラム言語+ホモトピー代数 という発想からも、ある意味で誰にでも思い付く雑な観点でもあるし、実際彼は期待込みでしょう 分裂と言えば分裂ですし、直感的には遠アーベル幾何学で環の忘却を取り、Anabelioidからスキームの宇宙への ラベルindexによる逆極限を考えている事になる ただ星さんの言い方を真似ると、pilot-objectの実化による埋め込みが自明か非自明か、それを含めて 理論が間違いであるかどうかはギリギリの境界とも言えますw この埋め込みが普通の数学者には宙に浮いた絵空事に見えてしまうということです 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch