本文基本来源于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每一个集合都属于一些论域