[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
358(3): 2019/06/09(日)21:19 ID:XNG4QO4R(4/9) AAS
>>353
星の入門１に関しては本人が「無数の不正確な記述」と述べている通りですね
例えば、単遠アーベル的復元についても双遠アーベル的な復元のような説明をしています
対数テータ格子の非可換性に関しても上記と同様、視覚的に分かりやすい説明を選んだということでしょうか
まあ、本人が英訳してUPしない気持もよく分かります
で、実際IUTでは何が起こっているかというと、ロバーツだけでなく望月本人が書いているのですが（エイリアン・コピー論文）、
“categories of categories”と言っても2-categoriesではないんですよ（ルーリーなら何と言うか分かりませんが）
はっきりと“various "general nonsense" techniques”と書いています（同上p.121）
つまり、グロタンディーク宇宙をラッセルのパラドックスから始めているわけです（本来は真のクラスを回避するためのものだったのですが）
ループ状入れ子式宇宙を構成するために単遠アーベルを用い、各宇宙を操作するためには区別が必要で、ラベルが必要となる
今のところ、種の言語と突然変異をもってラッセルのパラドックスを回避しつつ、ループ状入れ子式宇宙を定式化できているつもりでしょうけど・・・
少なくともロバーツの言うように「圏論でやってないし、圏論の精神にも基づいていない」ですね
結論を言うと、危なっかしいところから始めて、危なっかしいやり方を貫いている（笑）
上下前次1-新書関写板覧索設栞歴
あと 644 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.009s