https://googology.fandom.com/ja/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6)#.E7.9C.9F.E3.82.AF.E3.83.A9.E3.82.B9.E3.81.A8.E3.83.95.E3.82.A7.E3.83.95.E3.82.A1.E3.83.BC.E3.83.9E.E3.83.B3.E3.81.AE 巨大数研究 Wiki 宇宙 (数学) 1.3 真クラスとフェファーマンの 2 集合論における宇宙 2.1 フォン・ノイマン宇宙 2.2 構成可能宇宙 3 脚注 4 参考文献 3 Feferman, Solomon, and G. Kreisel. "Set-theoretical foundations of category theory." Reports of the midwest category seminar III. Springer, Berlin, Heidelberg, 1969.
https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf INTER-UNIVERSAL TEICHMULLER THEORY IV: ¨ LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS Shinichi Mochizuki April 2020
P6 - cf. the discussion of Remark 3.3.1, (i). As one constructs sets at new levels of the ∈-structure of some model of axiomatic set theory - e.g., as one travels along vertical or horizontal lines of the log-theta-lattice! - one typically encounters new schemes, which give rise to new Galois categories, hence to new Galois or ´etale fundamental groups, which may only be constructed if one allows oneself to consider new basepoints, relative to new universes. P85 [Ffmn] S. Feferman, Set-theoretical Foundations of Category Theory, Reports of the Midwest Category Seminar III, Lecture Notes in Mathematics 106, SpringerVerlag (1969), pp. 201-247. (引用終り) 以上
