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

范畴论基础(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://www.bjxsw.cc),接着再看更方便。

相关小说

我靠养鱼,日常变美 连载中
我靠养鱼,日常变美
寒时温
快穿流,不喜勿入(日更2000~4000)一句话简介:我靠养鱼,日常变美!颜末小姐的鱼塘壮大史。第一处鱼塘:网恋选我,我超甜第二处鱼塘:恋综......
56.4万字2个月前
每个世界都在发生不同的事情 连载中
每个世界都在发生不同的事情
风中凌乱的
宝宝们,欢迎观看,希望宝子们喜欢,大家一起交流,可以告诉我,你想看的类型,我来写。
5.5万字2个月前
十二星座:与你共存 连载中
十二星座:与你共存
柒染qire
地方叫尔晴洛漓簇使,那里的人培养十二星座,可有一天,一个名叫泫雅的,带领了一群黑衣人闯入了尔晴洛漓簇。她们拿走了族中最珍贵的伊克斯宝石,它是......
2.5万字2个月前
天道?呵,本神女可是创世神! 连载中
天道?呵,本神女可是创世神!
江边月皎皎
啧啧啧,似乎在这个平台修仙文没什么流量啊。...洛璃月自出生以来,就位居高位,受尽宠爱。可就在某一天,她娘亲爹地全都莫名失踪,而她被人掳走。......
0.4万字2个月前
神明予我岁岁平安 连载中
神明予我岁岁平安
长遥
“等你回到天上,可以让我做地上的文曲星吗?”“我只愿你岁岁平安。”
0.2万字1个月前
陌上月寒 连载中
陌上月寒
乔忆娇
神族战神转世为花界一个古灵精怪的小花精结识了温文尔雅的芍药花精又遇到了被抛弃的魔族殿下,她与他们之间会发生怎样的故事。
1.4万字1个月前