数学联邦政治世界观
超小超大

范畴论基础(Grothendieck宇宙)

定义 集合 ∪ 称为宇宙,如果满足以下性质

1.u∈∪⇒u⊂∪,即:∪是传递集;

2.u,υ∈∪⇒{u,υ}∈∪

3.u∈∪⇒P(u)∈∪

4.若 l ∈ ∪ , 一族集合 {uᵢ:i∈l}满足 ∀i,uᵢ ∈∪, 则 ∪uᵢ ∈ ∪

i∈l

5.ℤ≥₀∈∪.

对于集合Ⅹ,若 X∈∪ 则称为 ∪ -集;若 X 和一个 ∪ -集等势,则称为 ∪ -小集.

注 上述表述如果用更通俗的语言来表达, 可以理解为满足以下性质的集合 ∪ 称为宇宙:

1. ∪ 中的元素都是集合且是 ∪ 的子集

2. ∪ 中有限个元素构成的集合是 ∪ 的元素

3. ∪ 中元素的幂集是 ∪ 的元素

4. ∪ 中元素的任意并(指标需要也是 ∪ 中元素)都是 ∪ 的元素

5. ℤ≥₀ 是 ∪ 的元素

并且∪ 中元素可以简称为 ∪ -集.

假设 (A. Grothendieck) 对任何集合 X,存在宇宙 ∪ 使得 X∈∪ .

本着得过且过的原则, Grothendieck 宇宙就介绍到这里.

定义 一个范畴 C 称作是 ∪ -范畴,如果对任意对象 X,Y,从 X 到 Y 的态射 Homᴄ(X,Y) 都是 ∪ -小集. 如果态射集 Mor(C) 也是 ∪ -小集, 则称之为 ∪ -小范畴.

注 一个范畴 C 是不是 ∪ -范畴,主要看它的态射集 Mor(C) .

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

白榆星河 连载中
白榆星河
吏珍向
强大的人,无论何时总会强大,跌倒了就会再站起来,从国家,养娃,到种田,到拯救全世界
1.8万字9个月前
道士下山:我利用玄学当星探 连载中
道士下山:我利用玄学当星探
顾临希
【2021.8.9签约】宁姝自小跟从师傅在山上修习道术,十八岁学成下山,投靠远房小叔。不料,小叔刚开了一家娱乐公司,人员紧缺。于是宁姝成了一......
11.6万字8个月前
非人哉相处日常 连载中
非人哉相处日常
傲娇兔本兔
五个大佬妖怪的宠溺,与妖怪的相处日常。
23.1万字8个月前
在云朵上打盹 连载中
在云朵上打盹
云裳珺
——是个文案管
14.6万字8个月前
身为使者的我绝不深陷感情 连载中
身为使者的我绝不深陷感情
凛音三秋
转载作品,同步正文章节(书封面找不到了)
2.3万字8个月前
叶罗丽:杀手王默 连载中
叶罗丽:杀手王默
甜梦星月
1.1万字8个月前