>>389 補足

”https://www.kurims.kyoto-u.ac.jp/~motizuki/top-english.html
望月 英文サイト
https://www.kurims.kyoto-u.ac.jp/~motizuki/travel-english.html
travel＆Lechures

[24] On the essential logical structure of inter-universal Teichmuller theory I, II, III, IV, V (Invitation to
　　　Inter-universal Teichmuller Theory (Zoom) 2021-09 + Inter-universal Teichmuller Theory Summit
　　　2021 (Zoom) 2021-09) Lecture notes Lecture notes (marked up version for I, II, III)
　　　Lecture notes (marked up version for IV, V) Classical roots of inter-universal Teichmuller theory
　　　Classical roots of inter-universal Teichmuller theory (marked up version)

これの
Lecture notes https://www.kurims.kyoto-u.ac.jp/~motizuki/On%20the%20Essential%20Logical%20Structure%20of%20IUT%20I,%20II,%20III,%20IV,%20V.pdf
ですね。”

これ、結構重要な文書だと思う
分かり易く書かれている