22/04/25 18:43:33 .net
下げマスの書き込み
4/24(日) /7dcPctj
>>546
「下記のベーシック圏論 Leinsterに、”宇宙”が2箇所出てくる」
>>547
「英文で、universeの箇所を引用したが、‘universe of sets’とかで、
”relates to the entire universe in which it lives
(in this case, the universe of sets).”とされている
望月IUTの‘universe’は、明らかに、Leinster氏の書いている意味とは違う気がする
もっとも、Leinster氏も‘universe’の厳密な定義を、書いていない
（多分、‘universe’の厳密な定義を必要としないからでしょう
（P2とP168との間でuniversalは使うが、‘universe’は使わない））
だから、現代の圏論用語ベースで書けば、IUTは‘universe’無しで書ける気がする
しかしながら、筆者にそれを要求するのは、酷でしょ
（多分、相当な時間がかかるだろうから）
それは、今後若手がやれば良い気がする」
>>549
（数学と無関係な発言 略）
「星先生のIUT入門も、最初が円分物で、ポカーンでした
（ 別のスレ 純粋・応用数学（含むガロア理論）10に書きましたが ）」
「Leinster 圏論 速習コースのノリで、IUT速習コースを希望します
（山下先生のレビューは、逆で厳密性を重視しすぎで、見通しが悪すぎ。
以前フェセンコ先生が指摘したのも、それじゃないかな ）」
>>551 （数学と無関係な発言）
>>554-555 （数学と無関係な発言）
>>558
「Mutually Alien Copies に関連しそうなところを…そのまま読むと、
望月ワールド全開で、NHKスペシャル見ているから
「同じものを別と見て、かつ同一視する」でしたか、ああこのことかと思いました
普通に読むと、読めないでしょうね
” Gaussian integral に繋げないんだろう”と好意的に読むと、気持ちは分かりますがね
（これ数学として成り立つ？ｗ）
ここ、説明の一つの山でしょね」
>>560
「因みに、” the familiar Galois module “Z＾(1)””とか合ったので
下記を引用しておきます」
>>561 （数学と無関係な発言）
>>568
「下記 フェセンコサーベイ
（星の遠アーベル幾何学の進展 数学 vol74-No1 に紹介されている 文献[6]）
を読んでいる
”such gluing isomorphisms by applying various tautological Galois-equivariance properties of such gluing isomorphisms ”
(google訳 そのような接着同型の様々なトートロジー的ガロア同変�