Inter-universal geometry と ABC予想 (応援スレ) 73

Inter-universal geometry と ABC予想 (応援スレ) 73 (780ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

643: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/14(木) 13:36:05.27 ID:1dI79/KQ

>>638
(引用開始)
https://handwiki.org/wiki/Conglomerate_(set_theory)
Conglomerate (set theory)
From HandWiki
In mathematics, a conglomerate is a collection of classes, just as a class is a collection of sets.[1]
A quasi-category is like a category except that its objects and morphisms form conglomerates instead of classes.[1]
The subclasses of any class, and in particular, the collection of all classes (every class is a subclass of the class of all sets), form a conglomerate.
References
1. Adamek, Jiri; Herrlich, Horst; Strecker, George (1990). Abstract and Concrete Categories: The Joy of Cats. Dover Publications. ISBN 978-0-486-46934-8.
(引用終り)

＜google訳＞
数学において、conglomerateはクラスのcollectionであり、クラスは集合のcollectionである。[1]
quasi-categoryはカテゴリに似ているが、そのオブジェクトと射がクラスではなくconglomerateを形成する点が異なる。[1]
任意のクラスのサブクラス、特にすべてのクラスの集合（すべてのクラスはすべての集合のクラスのサブクラスである）は conglomerateを形成する。
References
略
(google訳終り)

このFrom HandWiki の用語を借りれば
大きな Grothendieck Universeがあって
その中に conglomerate ＞ クラス(class) ＞ 集合(set)
という collection の大きさの違いが 存在する

この（21世紀の用語の）視点では、Grothendieck Universe は、One Universe で
Inter-universal 宇宙間 というのは、conglomerate あるいは クラス(class)
で収まるだろう

薄葉季路先生の 『集合論の宇宙　Universe と Multiverse』>>637
と比較して、望月用語”宇宙”は ちょっと 大げさ （それは Grothendieckの時代(1960年代)は それでよかったとしても）

そこらは、本当は 加藤さんあたりが 整理してほしいところです

http://rio2016.5ch.net/test/read.cgi/math/1753000052/643

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.051s