本文基本来源于Francis Borceux的Handbook ofcategorical algebra
范畴
在数学的发展中，我们对事物的认知都是从片面到全体，从而19世纪，Cantor发明了集合这样一个术语。然而，朴素集合论不久后遇到了一片乌云Russell’s Paradox：
x
∈
S
↔
x
是
一
个
集
合
x\in S \leftrightarrow x 是一个集合
x∈S↔x是一个集合
对于上述命题，满足这样条件的一个集合S，换而言之，不存在所有集合的集合。
定义
一个论域（universe，或称做论述全集）是一个满足下述定义的集合：
- x ∈ y , y ∈ U ⟶ x ∈ U x\in y, y\in \mathcal{U}\longrightarrow x\in\mathcal{U} x∈y,y∈U⟶x∈U
- I ∈ U , ∀ i ∈ I ⟶ ⋃ i ∈ I x i ∈ U \mathbb{I}\in\mathcal{U},\forall i\in \mathbb{I}\longrightarrow \bigcup_{i\in\mathbb{I}} x_i\in\mathcal{U} I∈U,∀i∈I⟶⋃i∈Ixi∈U
- x ∈ U ⟶ P ( x ) ∈ U x\in \mathcal{U}\longrightarrow P(x)\in\mathcal{U} x∈U⟶P(x)∈U其中 P ( x ) P(x) P(x)是x的子集构成的集合
- x ∈ U , y = f ( x ) x\in\mathcal{U},y=f(x) x∈U,y=f(x)是一个满射， ⟶ y ∈ U \longrightarrow y\in \mathcal{U} ⟶y∈U
- N ∈ U \mathbb{N}\in\mathcal{U} N∈U
自然的，我们有如下推论：
6.
x
∈
U
,
y
⊆
x
⟶
y
∈
U
x\in\mathcal{U},y\subseteq x\longrightarrow y\in\mathcal{U}
x∈U,y⊆x⟶y∈U
7.
x
∈
U
,
y
∈
U
⟶
{
x
,
y
}
∈
U
x\in\mathcal{U},y\in \mathcal{U} \longrightarrow \{x,y\}\in\mathcal{U}
x∈U,y∈U⟶{x,y}∈U
8.
x
∈
U
,
y
∈
U
⟶
x
×
y
∈
U
x\in\mathcal{U},y\in \mathcal{U} \longrightarrow x\times y\in\mathcal{U}
x∈U,y∈U⟶x×y∈U
9.
x
∈
U
,
y
∈
U
⟶
x
y
∈
U
x\in\mathcal{U},y\in \mathcal{U} \longrightarrow x^y\in\mathcal{U}
x∈U,y∈U⟶xy∈U
Axiom每一个集合都属于一些论域
329
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
