Inter-universal geometry と ABC予想 (応援スレ) 74 (882ﾚｽ)
上下前次1-新

---

858(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/07(日)21:12 ID:hvfvmXnW(5/6) AA×
>>857>>850

外部ﾘﾝｸ:ja.wikipedia.org
外部ﾘﾝｸ:ja.wikipedia.org
外部ﾘﾝｸ:en.wikipedia.org
外部ﾘﾝｸ[pdf]:www.mathematik.tu-darmstadt.de

[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
858: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/07(日) 21:12:20.02 ID:hvfvmXnW >>857 >グロタンディクの数学だから >グロタンディク宇宙使ってるというのは >典型的な高卒ド素人の妄想 これだから、無知なド素人には困るｗ といっても、私も似たようなもので 圏論は 2冊かじっただけだが ；ｐ） グロタンディクの数学＝圏論 で グロタンディークが圏論好きで 圏論の名手であることは有名だが 彼は、ZFCでは満足出来なかったんだ 圏論のために 宇宙を創造したのだよ（神の如くにｗ） 但し、用語”宇宙”に ２種ある グロタンディークの50年くらい前の定義と（下記 Streicher, Thomas (2006)ご参照） 最近のは 下記の 薄葉 季路 (早大理工)らの 21世紀 基礎論・集合論屋さんの定義と（池上大祐>>850もこれ） (参考) https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99 グロタンディーク宇宙 宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6) 宇宙 (数学) 圏論 最も一般的なグロタンディーク宇宙 U の用途はすべての集合の圏を U で置き換えるものである。S ∈U のとき、U-large でないなら、集合S は U-small となる。すべての U-small 集合の圏 U-Set は、すべての U-small の集合を対象として、それらの集合の間のすべての関数を射としてもつ。対象の集合と射の集合の両方共集合であり、このことが真のクラスを用いることなく "すべての" 集合の圏を議論することを可能にしている。すると、この新しい圏の観点から別の圏の定義が可能になる。 https://en.wikipedia.org/wiki/Grothendieck_universe Grothendieck universe The concept of a Grothendieck universe can also be defined in a topos.[1] Notes 1 https://www.mathematik.tu-darmstadt.de/~streicher/NOTES/UniTop.pdf Streicher, Thomas (2006). "Universes in Toposes" (PDF). From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics. Clarendon Press. pp. 78–90. ISBN 9780198566519. Ｐ3 Grothendieck who introduced this notion for the purpose of a convenient and exible set-theoretic foundation of category theory. More precisely, he suggested to use ZFC together with the requirement that every set A be contained in some Grothendieck universe guaranteeing at least^5 an infinite sequence U0∈U1∈・・・Un-1∈Un∈Un+1∈・・・ of Grothendieck universes. Note 5 Actually, postulating choice for classes gives rise to a class function Un that assigns to every set a a Grothendieck universe Un(a) with a Un(a). Then by trans nitely iterating the function Un one obtains incredibly big hierarchies of Grothendieck universes. つづく http://rio2016.5ch.net/test/read.cgi/math/1755784703/858
グロタンディクの数学だから グロタンディク宇宙使ってるというのは 典型的な高卒ド素人の妄想 これだから無知なド素人には困る といっても私も似たようなもので 圏論は 冊かじっただけだが グロタンディクの数学圏論 で グロタンディークが圏論好きで 圏論の名手であることは有名だが 彼はでは満足出来なかったんだ 圏論のために 宇宙を創造したのだよ神の如くに 但し用語宇宙に ２種ある グロタンディークの年くらい前の定義と下記 ご参照 最近のは 下記の 薄葉 季路 早大理工らの 世紀 基礎論集合論屋さんの定義と池上大祐もこれ 参考 グロタンディーク宇宙 宇宙のアイデアはアレクサンドルグロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する 宇宙 数学 圏論 最も一般的なグロタンディーク宇宙 の用途はすべての集合の圏を で置き換えるものである のとき でないなら集合 は となるすべての 集合の圏 はすべての の集合を対象としてそれらの集合の間のすべての関数を射としてもつ対象の集合と射の集合の両方共集合でありこのことが真のクラスを用いることなく すべての 集合の圏を議論することを可能にしているするとこの新しい圏の観点から別の圏の定義が可能になる つづく

---

上下前次1-新書関写板覧索設栞歴

---

あと 24 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.070s