>>219
>何か図式を過大評価してますね

うむ
いまどき パワポで図解はあたりまえ
数学でも厳密性を保持しながら 図解を駆使して
分かり易くするテクニックはある

圏論の良いところの一つはこれだろう
しかし、コンピューター検証に乗せるとき
図を言葉に直さないといけないよね

下記に チラ見で望月氏がIUTで沢山の図解を入れている部分で
「これ 文章で書いたらどうなるの？」というのを
ちょっぴり ピックアップしたので見ておくれｗ　（＾＾

(参考)
https://dank.jp/blog/illustration/
株式会社ダンク
わかりやすい図解の作り方３つのコツ【パワポでチラシを作るコツ】
2023年10月11日
わかりやすい図解の作り方 3つのコツ

https://www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html
望月論文
宇宙際Teichmuller理論
https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf
[1] Inter-universal Teichmuller Theory I: Construction of Hodge Theaters. PDF NEW !! (2020-05-18)
(抜粋)
P91
The discussion of Remark 3.8.1, (iii), (iv), may be summarized as follows.
Corollary 3.9. (´ Etale-pictures of Θ-Hodge Theaters) In the situation of Corollary 3.8, let v ∈ V.Then:
（図がある (n+2)Dv ... — — (n+1)Dv ... ）
Fig. 3.2: ´ Etale-picture of Θ-Hodge theaters

https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20III.pdf
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-05-18)
(抜粋)
P2
（図がある）
Fig. I.1:The[LGP-Gaussian] log-theta-lattice

P72
Corollary 2.3. (´ Etale-picture of Multiradial Theta Monoids) In the notation of Theorem 2.2, let
略
P74
Thus, by applying the radial algorithm defined above to each n,◦R,forn ∈ Z, we obtain a diagram — i.e., an ´etale-picture of radial data —as in Fig. 2.4 below. This diagram satisfies the important property of admitting arbitrary permutation symmetries among the spokes [i.e., the labels n ∈ Z] and is compatible, in the evident sense, with the ´etale-picture of D-Θ±ellNF-Hodge theaters of [IUTchII], Corollary 4.11, (ii).
略
（図がある）
Fig. 2.4: ´ Etale-picture of radial data