つづき

なお
https://www.kurims.kyoto-u.ac.jp/~motizuki/travel-japanese.html
望月
https://www.kurims.kyoto-u.ac.jp/~motizuki/Suuronteki%20log%20scheme%20no%20kenrontekihyouji%20kara%20mita%20daen%20kyokusen%20no%20suuron%20(Hokudai%202003-11).pdf
[10] 数論的log schemeの圏論的表示から見た楕円曲線の数論　（北海道大学 2003年11月）. PDF
P1
§1 圏のIU幾何
§1.1 Motivation
"F1上のキカが必要"
　↓
"「属性方程式」a∈aを解きたい"
→”通常の集合論を拡大する必要が有る”
§1.2 IUキカによる「解消」：一言でいうと 宇宙(universe)の拡大を使ってラベルを貼る

https://ja.wikipedia.org/wiki/%E4%B8%80%E5%85%83%E4%BD%93
一元体（いちげんたい、英: field with one element）あるいは標数 1 の体 (field of characteristic one) とは、「ただひとつの元からなる有限体」と呼んでもおかしくない程に有限体と類似の性質を持つ数学的対象を示唆する仮想的な呼称である。しばしば、一元体を F1 あるいは Fun[note 1] で表す。通常の抽象代数学的な意味での「ただひとつの元からなる体」は存在せず、「一元体」の呼称や「F1」といった表示はあくまで示唆的なものでしかないということには留意すべきである。その代わり、F1 の概念は、抽象代数学を形作る旧来の材料である「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論を提供するものと考えられている。そういった新しい枠組みにおける理論で一元体を実現しているようなものは未だ存在していないが、標数 1 の体に類似した対象についてはいくつか知られており、それらの対象もやはり用語を流用して象徴的に一元体 F1 と呼ばれている。なお、一元体上の数学は日本の黒川信重ら一部の数学者によって、絶対数学と呼ばれている

つづく