Inter-universal geometry と ABC予想 (応援スレ) 73 (668ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

638(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/14(木)10:54 ID:1dI79/KQ(2/8) AAS
つづき

U-small vs. U-large:
In this context, a set is considered "U-small" if it belongs to the universe U, and "U-large" otherwise.

Foundation for Category Theory:
This approach allows for the construction of categories with large collections of objects and morphisms, which are essential for certain areas of category theory, without encountering Russell's paradox or other foundational issues.

Alternative to ZFC:
While ZFC (Zermelo-Fraenkel set theory with the axiom of choice) is a common foundation for mathematics, MacLane's proposal provides an alternative by using the concept of a Grothendieck universe.
省16

---

643: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/14(木)13:36 ID:1dI79/KQ(5/8) AAS
>>638
(引用開始)
外部ﾘﾝｸ:handwiki.org
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]
省21

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.032s