>>627
>まず、ZFCGは集合論で圏論を基礎づける場合に使う　IUT以前
>IUTが”宇宙際”というのは宇宙同士の通信を行うから、らしい（笑）

そうそう 昔を思い出したよ
「宇宙同士の通信」か、IUTの初期にも話題になった 2012年か2013年だったか
いま適当な文献が見つからないが 下記 BenjaminCollas

https://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
ANABELIANARITHMETICGEOMETRY-ANEWGEOMETRYOF FORMSANDNUMBERS:Inter-universalTeichmüllertheoryor “beyondGrothendieck’svision” BenjaminCollas‡
Version12/04/2024
P13
Fig. 13. Inter-universal Teichmüller theory.
(引用終り)

Fig. 13の 右の端の図で 浮き輪が二つある。 間をθ-link がつなぐのです
この 左右浮き輪が 二つの宇宙で θ-link がつなぐから 宇宙際らしい（どこか別の文献にもあった気がするが 見つからないので これで代用）

同P13 に
”The category-theoretic approach of inter-universal Teichmüller geometry results in a rich and evocative language for guiding mathematical thinking25: objects exists in étale-like and Frobeniuslike flavors– depending on whether one regards an object as anabelianly reconstructed, e.g., from Galois groups, or, alternatively, as an object that is only defined relative to a particular ring or monoid structure.”
とあって、”category-theoretic approach”圏論やってます だね

つづく


>>650
死狂幻調教大師S.A.D.@月と六ベンツ さん、いつもありがとうございます
今後ともよろしくお願いいたします