范畴论笔记

第1章范畴

第1.1节引入

范畴论在某种意义上可以被视为函数的代数学.

第1.2节集合的函数

令 $f$ 是从集合 $A$ 到集合 $B$ 的函数, 记为 $f : A \to B$ . 若用 $range (f)$ 表示 $f$ 的值域, 那么 $range (f) \subseteq B$ . 现在设我们还有一个函数 $g : B \to C$ , 那么我们可以构造复合 $g \circ f : A \to C$ , 其由 $(g \circ f) (a) = g (f (a)), a \in A$ 给定. 函数复合 $\circ$ 是结合性的, 即若再有一个函数 $h : C \to D$ , 那么 $(h \circ g) \circ f = h \circ (g \circ f) .$ 这里的函数相等显然是外延相等 (体现为逐点的函数值相等), 即对于每个 $a \in A$ 有 $((h \circ g) \circ f) (a) = (h \circ (g \circ f)) (a) = h (g (f (a))) .$ 对于任意的集合 $A$ , 存在一个恒等函数 $1_{A} : A \to A$ , 其由 $1_{A} (a) = a$ 定义. 恒等函数在某种意义上是函数复合 $\circ$ 的单位元, 即 $f \circ 1_{A} = 1_{B} \circ f = f .$ 对于函数的概念进行抽象或许提供了定义范畴的动机.

第1.3节范畴的定义

定义1.1. 一个范畴由以下资料构成:

对象: $A, B, C, \dots$
箭头: $f, g, h, \dots$
对于每个箭头 $f$ , 存在两个(箭头所内蕴的)对象 $dom (f) 和 cod (f)$ 其被称为 $f$ 的定义域 (domain) 和陪域 (codomain). 我们记 $f : A \to B$ 以指明 $A = dom (f)$ 和 $B = cod (f)$ .
给定箭头 $f : A \to B$ 和 $g : B \to C$ , 即 $cod (f) = dom (g)$ 存在与之对应的箭头 $g \circ f : A \to C$ 其被称为 $f$ 和 $g$ 的复合.
对于每个对象 $A$ , 存在与之对应的箭头 $1_{A} : A \to A$ 其被称为 $A$ 的恒等箭头.

以上这些资料需要满足以下法则.

结合律: 对于所有的 $f : A \to B, g : B \to C, h : C \to D$ 有 $(h \circ g) \circ f = h \circ (g \circ f) .$
单位元: 对于所有的 $f : A \to B$ 有 $f \circ 1_{A} = 1_{B} \circ f = f .$

范畴的定义是全然抽象的, 对象不必是集合, 箭头不必是函数.

第1.4节范畴的例子

另外一类在数学中常见的例子是带结构集合的范畴, 即带有结构的集合和保持结构的函数, 这些概念在某种意义上是以相对独立的方式确定的. 读者可能熟悉的例子有
- 群和群同态;
- 向量空间和线性映射;
- 图和图同态;
- 实数域 $ℝ$ 和连续函数 $ℝ \to ℝ$ ;
- 开集 $U \subseteq ℝ$ 和定义于其间的连续函数 $f : U \to V \subseteq ℝ$ ;
- 拓扑空间和连续映射;
- 可微流形和光滑映射;
- 自然数集 $ℕ$ 和递归函数 $ℕ \to ℕ$ , 或者也可以像上面的连续函数的例子一样取定义于子集 $U \subseteq ℕ$ 上的部分递归函数;
- 偏序集和单调函数.
如果你不熟悉其中某些例子, 也不要紧张. 之后我们将更仔细地检视其中一些. 暂时, 让我们讨论一下以上例子中的最后一个.
偏序集即装备了偏序关系的集合, 偏序集之间的箭头即单调映射. 如果 $m : A \to B$ 是一个从偏序集 $A$ 到偏序集 $B$ 之间的单调映射, 那么 $a \leq_{A} a^{'} \Rightarrow m (a) \leq_{B} m (a^{'}), a, a^{'} \in A .$ 那么, 偏序集和单调映射何以成为范畴呢? 我们需要知道 $1_{A} : A \to A$ 是单调的, 但这是显然的, 因为 $a \leq_{A} a^{'} \Rightarrow a \leq_{A} a^{'}$ . 我们也需要知道如果 $f : A \to B$ 和 $g : B \to C$ 是单调的, 那么 $g \circ f : A \to C$ 是单调的. 这当然也是成立的, 因为 $a \leq a^{'} \Rightarrow f (a) \leq f (a^{'}) \Rightarrow g (f (a)) \leq g (f (a^{'})) \Rightarrow (g \circ f) (a) \leq (g \circ f) (a^{'}) .$ 因此, 我们有由偏序集和单调函数构成的范畴 $Pos$ .
到目前为止我们已经考虑了的范畴是所谓具体范畴的例子. 不严格地说, 这些范畴的对象是可能装备有某种结构的集合, 而箭头是特定的函数, 比如说保持结构的函数. 我们将在之后看到这个概念并非全然一致的, 见评注1.7. 但是, 理解范畴论的一种方式在于"doing without elements", 将函数替换成箭头. 让我们现在来看看一些例子以明白这种观念并非可选, 而是基础性的.
令 $Rel$ 是以下范畴: 取集合为对象, 而取二元关系为箭头. 也就是说, 一个箭头 $f : A \to B$ 是一个任意的子集 $f \subseteq A \times B$ . 集合 $A$ 上的恒等箭头为恒等关系, 即 $1_{A} = {(a, a) \in A \times A | a \in A} \subseteq A \times A .$ 给定 $R \subseteq A \times B$ 和 $S \subseteq B \times C$ , 我们定义复合 $S \circ R$ 为 $(a, c) \in S \circ R 当且仅当 \exists b . (a, b) \in R & (b, c) \in S .$ 此即 $S$ 和 $R$ 的"relative product". 我们将验证 $Rel$ 在事实上是一个范畴的工作留给读者. (要做什么?)
现在我们要举另一个箭头并非函数的范畴的例子, 令对象是有限集合 $A, B, C$ 而箭头 $F : A \to B$ 是由自然数构成的矩阵 $F = {(n_{i, j})}_{i < a, j < b}$ , 其中 $a = | A |$ 且 $b = | B |$ , 这个记号的含义是集合的元素个数, 也就是基数或者说势. 箭头的复合即通常的矩阵乘法, 恒等箭头即通常的单位矩阵. 对象在这里的作用仅仅是为了确保矩阵乘法有定义, 但是矩阵并非对象之间的函数.
有限范畴
当然, 范畴的对象不必是集合, 以下是一些非常简单的例子:

定义1.2. 一个范畴

C

和

D

之间的函子

F : C \to D

是从对象到对象和从箭头到箭头的映射, 其满足

$F (f : A \to B) = F (f) : F (A) \to F (B)$ ;
$F (1_{A}) = 1_{F (A)}$ ;
$F (g \circ f) = F (g) \circ F (f)$ .

一个预序是一个装备有满足自反性和传递性的二元关系的集合. 若将集合的元素视为对象, 而两个对象之间存在唯一的箭头当且仅当其满足二元关系, 则预序可以被视为范畴.
拓扑学一例: 令 $X$ 是一个拓扑空间, 其开集族为 $O (X)$ . 根据包含关系进行排序, $O (X)$ 就成了一个poset category. 而且, $X$ 上我们也可以通过specialization定义一个预序, 即将关系 $x \leq y$ 定义为对于每个开集 $U \in O (X)$ , $x \in U$ 可以推出 $y \in U$ . 若 $X$ 满足 $T_{1}$ 公理, 那么这个预序只会是平凡的. 但是如果不是, 这个预序可能会是相当有趣的, 代数几何和指称语义中都有这样的空间的例子. 我们将对于以下事实的证明留作练习, $T_{0}$ 空间在specilization序下实际上是偏序集. [译注: 使用反证法.]
逻辑学一例: 给定一个逻辑演绎系统, 存在一个与之相关的证明的范畴, 其对象是公式 $φ, ψ, \dots$ 从 $φ$ 到 $ψ$ 的箭头是从(uncanceled)假设 $φ$ 开始的推出 $ψ$ 的一个演绎. $\frac{\frac{φ}{⋮}}{ψ}$ 箭头的复合不过就是将演绎以显然的方式放在一起, 因而当然是结合的. 我们应该看出从 $φ$ 到 $ψ$ 的箭头可以有很多个, 因为证明可以有很多个. 这种范畴实际上具有丰富的结构, 之后我们将和 $λ$ 演算一起讨论它.
计算机科学一例: 给定一个函数式编程语言 $L$ , 存在一个与之相关的范畴, 其对象是 $L$ 的数据类型, 而箭头是 $L$ 的可计算函数. 两个程序 $X \overset{f}{\to} Y \overset{g}{\to} Z$ 的复合显然是将 $g$ 应用于 $f$ 的输出, 还有一种写法是 $g \circ f = f; g .$ 恒等箭头当然是"什么也不做"的程序.
这种范畴对于编程语言的指称语义的想法而言是基本的. 例如, 如果 $C (L)$ 是我们刚才定义的范畴, 那么以Scott domain的范畴 $D$ 作为解释的 $L$ 的指称语义实际上不过就是一个函子 $S : C (L) \to D$ 因为 $S$ 赋予 $L$ 的类型以domain, $L$ 的程序以domain之间的连续函数. 这个例子和前一个例子都和所谓的笛卡尔闭范畴 (CCC) 有关, 之后我们将讨论CCC.
令 $X$ 是一个集合, 那么我们可以将 $X$ 当作一个范畴 $Dis (X)$ , 其对象是 $X$ 的元素而箭头就只有必要的恒等箭头. 这样的范畴被称为离散范畴, 实际上我们应该注意到离散范畴不过就是非常特殊的偏序集.
一个幺半群 (monoid, 偶尔会说semigroup with unit) 是一个集合 $M$ 装备了一个二元运算 $\cdot : M \times M \to M$ , 并且这个运算是结合的, 即对于 $x, y, z \in M$ , 我们有 $x \cdot (y \cdot z) = (x \cdot y) \cdot z$ 另外, 这个运算还有一个幺元, 即存在 $u \in M$ 使得对于每个 $x \in M$ 都有 $u \cdot x = x \cdot u = x$ 等价地说, 其实一个幺半群是一个仅有一个对象的范畴. 这个范畴的箭头是幺半群的元素. 恒等箭头即幺元 $u$ . 箭头的复合不过就是幺半群的二元运算而已.
幺半群太过常见了. 例如, $ℕ, ℚ, ℝ$ 相对于加法是幺半群, 其幺元 (可能用加法的单位元更好) 是 $0$ , 相对于乘法也是, 其幺元是 $1$ . 另外, 对于任意的集合 $X$ , 从 $X$ 到 $X$ 的所有函数构成的集合, 即 ${Hom}_{Sets} (X, X)$ 在函数复合下也是一个幺半群. 更一般地, 对于任意的范畴 $C$ 中的任意的对象 $C$ , 从 $C$ 到 $C$ 的箭头的集合 ${Hom}_{C} (C, C)$ 在范畴 $C$ 的箭头复合运算下是一个幺半群.
既然幺半群也是所谓的带结构的集合, 那么存在这样一个范畴 $Mon$ , 其对象是幺半群, 而箭头是保持幺半群结构的函数. 更细致地说, 从幺半群 $M$ 到幺半群 $N$ 的一个同态是一个函数 $h : M \to N$ 满足对于任意的 $m, n \in M$ , 有 $h (m \cdot_{M} n) = h (m) \cdot_{N} h (n)$ 并且 $h (u_{M}) = u_{N}$ 我们应该观察到, 从 $M$ 到 $N$ 的同态可以被视为函子, 若是将 $M$ 和 $N$ 视为范畴. 在这种意义下, 范畴是一般化了的幺半群, 函子是一般化了的同态.

第1.5节同构

定义1.3. 在任意的集合

C

中, 称箭头

f : A \to B

为同构, 如果存在箭头

g : B \to A

满足

g \circ f = 1_{A} 且 f \circ g = 1_{B} .

这样的逆显然是唯一的, 我们记

g = f^{- 1}

. 我们称

A

同构于

B

, 如果其间存在同构, 此时记

A ≅ B

定义1.4. 一个群

G

是一个幺半群, 并且每个元素

g

都有一个逆元

g^{- 1}

. 换言之,

G

是一个只有一个对象的范畴, 并且其每个箭头都是同构. [译注: 箭头都是同构的范畴被称为群胚.]

$ℕ$ 在加法下并非一个群, $ℤ$ 在加法下的确是一个群, 正有理数集合 $ℚ^{+}$ 在乘法下是一个群. 对于任意的集合 $X$ , $X$ 上的所有自同构, 或者说置换, 构成了群 $Aut (X)$ . 所谓的置换群是子群 $G \subseteq Aut (X)$ . 因此, $G$ 必须满足以下性质:

恒等函数 $1_{X}$ 在 $G$ 之中.
如果 $g, g^{'} \in G$ , 那么 $g \circ g^{'} \in G$ .
如果 $g \in G$ , 那么 $g^{- 1} \in G$ .

两个群之间的同态 $h : G \to H$ 实际上是幺半群的同态, 而且其也必然保持逆元运算.

以下是关于抽象群的基本的经典的结果.

定理. Cayley. 每个群都同构于一个置换群.

证明.

首先, 对于群 $G$ , 定义其Cayley表示 $\overline{G}$ 为以下的集合 $G$ 的一个置换群: 对于每个 $g \in G$ , 我们有置换 $\overline{g} : G \to G$ , 其定义为 $h \mapsto g \cdot h .$ 这的确是一个置换, 因为 $\overline{g^{- 1}}$ 是其逆.
接着, 定义同态 $i : G \to \overline{G}$ 为 $g \mapsto \overline{g}$ , $j : \overline{G} \to G$ 为 $\overline{g} \mapsto \overline{g} (u_{G})$ .
最后, 证明 $i \circ j = 1_{\overline{G}}$ 和 $j \circ i = 1_{G}$ .

◻

Cayley定理是说任何的抽象群都可以由一个"具体"的置换群表示. 这个定理可以被推广为, 任何"不太大"的范畴都可以被表示为一个"具体"的范畴, 即一个由集合和函数构成的范畴. (第1.8节讨论了一些关于基础的技术细节.)

定理1.6. 每个范畴

C

都同构于这样的一个范畴, 其对象是集合, 其箭头是函数.

证明. 定义

C

的Cayley表示

\overline{C}

为以下具体范畴:

对象是具有形式 $\overline{C} = {f \in C | cod (f) = C}$ 的集合, 其中 $C \in C$ .
对于 $C$ 中的箭头 $g : C \to D$ , 我们有一个 $\overline{C}$ 中的箭头 $\overline{g} : \overline{C} \to \overline{D}$ 对于 $\overline{C}$ 中的每个箭头 $f : X \to C$ , 我们定义 $\overline{g} (f) = g \circ f .$

◻

这向我们表明了集合和函数的"具体"范畴的朴素概念有什么错误: 尽管不是每个范畴都以集合为对象而函数为箭头, 但是每个范畴都同构于一个这样的具体范畴. 因此, 这样的范畴可能具有的什么特殊性质是和范畴论无关的, 例如不以任何方式影响到箭头的对象的那些性质 (就像通过Dedekind分割或者Cauchy序列构造的实数之间的区别). 更好的捕获极其模糊的"具体"范畴的想法的尝试是这样的, 任意的箭头 $f : C \to D$ 都完全由其和箭头们 $x : T \to C$ 的复合确定, 这里的 $T$ 是某种"测试对象". 这句话的意思是若对于所有这样的 $x$ 都有 $f x = g x$ , 那么 $f = g$ . 之后我们将看到, 这相当于考虑由 $T$ 确定的范畴的一个具体表示.

第1.6节范畴上的构造

现在我们有了一些能与之打交道的范畴, 所以我们可以开始考虑一些从旧的范畴产生新的范畴的构造.

两个范畴 $C$ 和 $D$ 的积, 记作 $C \times D$ 其对象具有形式 $(C, D)$ , 其中 $C \in C$ 而 $D \in D$ , 并且箭头具有形式 $(f, g) : (C, D) \to (C^{'}, D^{'})$ 其中 $f : C \to C^{'} \in C$ 而 $g : D \to D^{'} \in D$ . 复合是按分量定义的, 即 $(f^{'}, g^{'}) \circ (f, g) = (f^{'} \circ f, g^{'} \circ g)$ 恒等箭头显然是 $1_{(C, D)} = (1_{C}, 1_{D})$ 存在两个显然的投影函子 $C \overset{π_{1}}{\leftarrow} C \times D \overset{π_{2}}{\to} D$ 其定义为 $π_{1} (C, D) = C$ 和 $π_{1} (f, g) = f$ , $π_{2}$ 的定义是类似的.
若是读者熟悉群, 那么对于群 $G$ 和 $H$ , 若将它们当成范畴, 则其积范畴 $G \times H$ 不过就是通常的群的直积.
一个范畴 $C$ 的反范畴, 或者说对偶范畴, 其对象和 $C$ 无异, 但是 $C^{op}$ 中的箭头 $f : C \to D$ 是 $C$ 中的箭头 $f : D \to C$ . 换言之, $C^{op}$ 其实就是箭头调转方向的 $C$ .
最好能有记号让我们区分 $C$ 和 $C^{op}$ 中的对象和箭头. 因此, 让我们对于 $C$ 中的 $f : C \to D$ 记 $f^{⁎} : D^{⁎} \to C^{⁎}$ 这是 $C^{op}$ 中的相应箭头. 以此记号, 我们可以基于 $C$ 中的相应操作来定义 $C^{op}$ 中的复合和单位元, 即 $1_{C^{⁎}} = {(1_{C})}^{⁎}, f^{⁎} \circ g^{⁎} = {(g \circ f)}^{⁎}$ 数学的许多"对偶"定理实际上不过表达了这样的事实, 一个范畴是另一个范畴的反范畴 (或者是这个反范畴的一个子范畴). 一个这样的例子是我们将在之后证明的 $Sets$ 对偶于完备原子布尔代数的范畴.
一个范畴 $C$ 的箭头范畴 $C^{\to}$ 以 $C$ 的箭头为对象, 并且 $C^{\to}$ 中从对象 $f : A \to B$ 到 $f^{'} : A^{'} \to B^{'}$ 的一个箭头 $g$ 是一个"交换正方形"其中 $g_{1}$ 和 $g_{2}$ 是 $C$ 中的箭头. 换句话说, 这样的一个箭头 $g$ 是 $C$ 中的箭头序对 $(g_{1}, g_{2})$ 并且满足 $g_{2} \circ f = f^{'} \circ g_{1} .$ 一个对象 $f : A \to B$ 上的恒等箭头是序对 $(1_{A}, 1_{B})$ . 箭头的复合是按分量计算的: $(h_{1}, h_{2}) \circ (g_{1}, g_{2}) = (h_{1} \circ g_{1}, h_{2} \circ g_{2})$ 读者应该画出合适的交换图以验证这个定义的确合理.
观察到有两个函子: $C \overset{dom}{\leftarrow} C^{\to} \overset{cod}{\to} C$
一个范畴C在对象C∈C上的切片范畴如下
- 对象: 所有满足 $cod (f) = C$ 的箭头 $f \in C$
- 箭头: 从对象 $f : X \to C$ 到对象 $f : X^{'} \to C$ 的一个箭头 $a$ 是一个 $C$ 中的箭头 $a : X \to X^{'}$ 使得 $f^{'} \circ a = f$ , 如以下交换图所示:恒等箭头和箭头复合都继承自范畴 $C$ , 这和之前的箭头范畴的情况差不多.

第1.7节自由范畴

自由幺半群. 我们从字母表 $A$ 开始. 一个 $A$ 上的词是来自于 $A$ 的字母构成的有限序列. $A$ 的Kleene闭包 $A^{⁎}$ 被定义为所有 $A$ 上的词构成的集合. $A^{⁎}$ 上我们可以定义所谓的连接运算 $⁎$ . 这个运算显然是结合的, 并且长度为零的空序列是其单位元. 因此, $A^{⁎}$ 形成了一个幺半群, 其被称为集合 $A$ 上的自由幺半群. 元素 $a \in A$ 可以被视为长度为一的词, 即我们有一个函数 $i : A \to A^{⁎}, a \mapsto a$ 虽然说以上的定义算是一种符号滥用 (abuse of notation) 吧. $A$ 的元素在某种意义上"生成"了这个自由幺半群, 即每个 $w \in A^{⁎}$ 都是 $A$ 的元素的 $⁎$ 积. 也就是说, 对于某些 $a_{1}, a_{2}, \dots, a_{n} \in A$ 有 $w = a_{1} ⁎ a_{2} ⁎ \dots ⁎ a_{n}$ .

到底何谓"自由"呢? 我们称一个幺半群 $M$ 是由其子集 $A$ 自由生成的, 如果

每个 $m \in M$ 都可以被写成 $A$ 的元素之积: $m = a_{1} \cdot_{M} \dots \cdot_{M} a_{n}, a_{i} \in A .$
$M$ 中不存在"非平凡"的关系, 即如果 $a_{1} \dots a_{j} = a_{1}^{'} \dots a_{k}^{'}$ , 那么这是幺半群的公理所要求的.

第一个条件有时被称为"没有垃圾", 第二个条件有时被称为"没有噪音". 因此,

A

上的自由幺半群是包含

A

的没有垃圾也没有噪音的幺半群. (第二个条件在某种意义上已经足够审慎而精当, 然而仍然不容易理解, 甚至并不足够清晰以向不懂的人传达. 笔者也没有这个能力, 自由这个想法, 怎么说呢, 这里的话就是

a_{1} \cdot_{M} \dots \cdot_{M} a_{j} = a_{1}^{'} \cdot_{M} \dots \cdot_{M} a_{k}^{'}

当且仅当

j = k

且

a_{i} = a_{i}^{'}, i = 1, \dots, j

每个幺半群 $N$ 都拥有一个作为基础的集合 $| N |$ , 而每个幺半群同态 $f : N \to M$ 都可以导出一个集合之间的函数 $| f | : | N | \to | M |$ . 很容易看出来这是一个函子, 即所谓的"遗忘函子". 集合 $A$ 上的自由幺半群 $M (A)$ 是满足以下泛性质的"唯一"的那个幺半群. (本书里将泛性质 (universal property) 称为泛映射性质 (universal mapping property, UMP), 这两者是一回事.)

存在函数 $i : A \to | M (A) |$ , 对于任意的幺半群 $N$ 和函数 $f : A \to | N |$ , 有唯一的幺半群同态 $\overline{f} : M (A) \to N$ 满足 $| \overline{f} | \circ i = f$ , 这可以画成以下交换图表:

命题1.9.

A^{⁎}

具有

A

上的自由幺半群的泛性质.

证明. 对于函数

f : A \to | N |

, 我们通过

\overline{f} (-) = u_{N}

其中

-

是空字符串而

u_{N}

是幺半群

N

的单位元, 以及

\overline{f} (a_{1} \dots a_{i}) = f (a_{1}) \cdot_{N} \dots \cdot_{N} f (a_{i})

来定义

\overline{f} : A^{⁎} \to N

, 其显然是一个同态, 并且满足对于每个

a \in A

有

\overline{f} (a) = f (a) .

这仍然是符号滥用, 更准确地说, 左边的

a

实际上是

i (a)

. 如果同态

g : A^{⁎} \to N

也满足对于每个

a \in A

有

g (a) = f (a)

, 那么对于所有

a_{1} \dots a_{i} \in A^{⁎}

\begin{array}{rcl} g (a_{1} \dots a_{i}) & = & g (a_{1} ⁎ \dots ⁎ a_{i}) \\ = & g (a_{1}) \cdot_{N} \dots \cdot_{N} g (a_{i}) \\ = & f (a_{1}) \cdot_{N} \dots \cdot_{N} f (a_{i}) \\ = & \overline{f} (a_{1}) \cdot_{N} \dots \cdot_{N} \overline{f} (a_{i}) \\ = & \overline{f} (a_{1} ⁎ \dots ⁎ a_{i}) \\ = & \overline{f} (a_{1} \dots a_{i}) \end{array}

于是,

g = \overline{f}

, 证明就结束了. 怎么说呢,

A^{⁎}

是自由幺半群的玄机藏在似乎平凡的事实

a_{1} ⁎ \dots ⁎ a_{i} = a_{1} \dots a_{i}

之中.

a_{1} \dots a_{i}

在某种意义上其实是一种双关, 它暗示了只有唯一一种将其表示为乘积

a_{1} ⁎ \dots ⁎ a_{i}

的方式.

◻

现在我们回头重新以泛性质来检视旧有的定义, 或者说思考泛性质是怎样捕获naive定义的想法的. 这个泛性质的存在性部分捕获了"没有噪音"的概念, 因为任意的生成元的代数组合之间的等式也对于其所映射至的东西成立, 也就是所有地方都成立. 唯一性部分捕获了"没有垃圾"的想法, 因为任何不是生成元的组合的元素, 其所映射至的东西可以是任意的值.

使用泛性质, 很容易表明自由幺半群 $M (A)$ 在同构意义下是唯一的.

第1.8节基础问题: 大, 小, 局部小

让我们首先区分以下两种东西:

数学的范畴论基础;
范畴论的数学基础.

对于第一点而言, 人们有时会听说范畴论可以用来提供"数学的基础", 作为集合论的替代物. 实际上的确如此, 但是这不是我们这里要做的事情. 在集合论中, 人们经常从存在性公理开始, 例如"存在一个无穷集合", 然后通过某些公理来导出更多的集合, 例如"每个集合都有一个幂集", 由此人们构筑了一个数学对象 (即集合) 的宇宙, 从原则上说它对于"所有的数学"而言应该是足够了. 我们的公理"每个箭头都有一个domain和一个codomain"不应该和集合论公理"每个集合都有一个幂集"以相同的方式理解! 区别在于, 在集合论中 (至少是一般意义上的集合论), 这些公理被认为是指 (或者说确定) 一个单一的由集合构成的宇宙. 而在范畴论中, 与之相对的是, 这些公理是某种东西的定义, 即范畴的定义. 这就像群论或者拓扑学, 其公理是为了定义需要检视的对象的, 而这些对象又被认为是存在于某种"背景"或者"基础"系统之中, 例如集合论 (或者类型论). 而集合论本身又可能使用范畴论确定, 或者以其他某种方式.

这将我们带至第二点: 我们假定我们的范畴是由集合和函数构成的, 以这样或那样的方式, 就和其他绝大多数数学对象一样, 然后开始考虑范畴论 (或者其他什么理论) 作为基础的可能性. 但是, 在范畴论中, 我们经常在通常的实践中遇到集合论的困难. 大多数这些问题是和"大小"有关的; 一些范畴"太大"以至于我们没法按照寻常集合论的方式妥当地进行处理. 在第1.5节里考虑Cayley表示时, 我们就已经遇到了这种问题. 那里我们要求考虑的范畴

第1.9节练习

第2章抽象结构

第2.1节满态射和单态射

给定函数 $f : A \to B$ , 其被称为单射的, 如果对于所有的 $a, a^{'} \in A$ , $f (a) = f (a^{'})$ 可以推出 $a = a^{'}$ ; 其被称为满射的, 如果对于每个 $b \in B$ , 存在 $a \in A$ 使得 $f (a) = b$ .

定义2.1. 在任意的范畴

C

中, 给定箭头

f : A \to B

, 其被称为是一个单态射(monomorphism), 如果对于任意的

g, h : C \to A

f g = f h

可以推出

g = h

; 其被称为是一个满态射(epimorphism), 如果对于任意的

i, j : B \to D

i f = j f

可以推出

i = j

如果 $f$ 是一个单态射, 那么我们记 $f : A ↣ B$ . 如果 $f$ 是一个满态射, 那么我们记 $f : A ↠ B$ .

命题. 一个集合之间的函数

f : A \to B

是单态射恰当其为单射.

证明. 设

f : A ↣ B

. 令

a, a^{'} \in A

满足

a \neq a^{'}

, 并令

{x}

是任意的一个单元素集.

◻

例子2.3. 在许多类似于幺半群的结构化集合的范畴中, 单态射就恰为单射的同态. 更精确地说, 一个幺半群的同态

h : M \to N

是单态射恰当其基础函数

| h | : | M | \to | N |

是单态射, 即前文的单射. 为了证明这点, 设

h

是一个单态射并取两个不同的元素

x, y : 1 \to | M |

, 其中

1 = {⁎}

是任意的单元素集合.

第2.2节始对象和终对象

现在我们考虑对于范畴 $Sets$ 中的空集和单元素集的抽象刻画, 而这可以推广至一般范畴中从结构上考虑类似的对象.

定义2.9. 在任何范畴

C

中, 对象

0

被称为始对象, 如果对于任意的对象

C \in C

, 存在唯一的态射

0 \to C

; 对象

1

被称为终对象, 如果对于任意的对象

C \in C

, 存在唯一的态射

C \to 1

就像单态射和满态射一样, 我们应该注意到这定义中存在某种"对偶性". 精确地说, $C$ 中的终对象恰是 $C^{op}$ 中的始对象. 我们在第3章中系统地考虑了对偶性.

首先, 我们应该注意到始对象和终对象的概念显然是泛性质, 这样的对象在同构意义下是唯一的, 就和自由幺半群一样.

命题2.10. 始对象在同构下是唯一的, 终对象也是.

第3章对偶

第3.1节对偶原理

第3.2节余积

第3.3节等化子

定义3.13. 在任何范畴

C

中, 给定平行的箭头

A ⇉_{g}^{f} B

f

和

g

的一个等化子由一个对象

E

和一个箭头

e : E \to A

构成, universal such that

f \circ e = g \circ e .

此即是说, 给定任意的

z : Z \to A

满足

f \circ z = g \circ z

存在唯一的

u : Z \to E

使得

e \circ u = z

, 如图所示则为

让我们考虑一些简单的例子.

例子3.14. 设我们有函数

f, g : ℝ^{2} ⇉ ℝ

, 其中

\begin{array}{rcl} f (x, y) & = & x^{2} + y^{2} \\ g (x, y) & = & 1 \end{array}

我们取等化子, 比如说在

Top

范畴中. 这是子空间

S = {(x, y) \in ℝ^{2} | x^{2} + y^{2} = 1} ↪ ℝ^{2}

即平面中的单位圆. 这是因为, 给定任意的泛化元素

z : Z \to ℝ^{2}

, 通过与两个投影进行复合, 我们就得到了一对这样的元素

z_{1}, z_{2} : Z \to ℝ

z = ⟨ z_{1}, z_{2} ⟩

, 对于这些我们然后有

\begin{array}{rcl} f (z) = g (z) & iff & z_{1}^{2} + z_{2}^{2} = 1 \\ iff & " ⟨ z_{1}, z_{2} ⟩ = z \in S " \end{array}

其中最后一行实际上意味着

z

可以通过嵌入

i : S ↪ ℝ^{2}

分解为

z = i \circ \overline{z}

[译注: 这里原文似乎有笔误, 将顺序颠倒了, 但未见于勘误], 如以下交换图表所示 [译注: 这里从

S

到

ℝ^{2}

实际上应该是嵌入箭头, 但是译者嫌麻烦, 还没有画]:既然嵌入

i

是单态射, 这样的分解在存在的情况下必然是唯一的, 因而

S ↪ ℝ^{2}

的确是

f

和

g

的等化子.

例子3.15. 类似地, 在

Sets

中, 给定任意的函数

f, g : A ⇉ B

, 其等化子是由等式定义的子集

{x \in A | f (x) = g (x)} ↪ A

到

A

的嵌入. 其论证基本上和刚才给出的是一模一样的.

现在让我们暂停一下, 观察到一个基本事实. 实际上, 每个子集都具有这种等式性的形式, 即每个子集都是某对函数的等化子. 的确, 我们可以用非常canonical的方式构造出来. 首先, 让我们置 $2 = {⊤, ⊥}$ 将其想成是真值的集合, 然后考虑特征函数 $χ_{U} (x) = {\begin{matrix} ⊤ & , x \in U \\ ⊥ & , x \notin U \end{matrix}$ 因此, 我们有 $U = {x \in A | χ_{U} (x) = ⊤}$ 于是, 以下是一个等化子: $U \to A ⇉_{χ_{U}}^{⊤!} 2$ 其中 $⊤! = ⊤ \circ! : A \overset{!}{\to} 1 \overset{⊤}{\to} 2$ . [译注: 原文是 $U \overset{!}{\to} 1 \overset{⊤}{\to} 2$ , 但是译者认为这是作者的笔误.]

而且, 对于每个函数 $φ : A \to 2$ 我们可以构造variety(即等式性子集) $V_{φ} = {x \in A | φ (x) = ⊤}$ 作为等化子, 以同样的方式. (将 $φ$ 想成是定义于 $A$ 上的一个命题函数, 子集 $V_{φ} \subseteq A$ 是由分离公理提供的 $φ$ 的外延.) [译注: 所谓命题函数, 也可以称为谓词.]

现在, 很容易看出来操作 $χ_{U}$ 和 $V_{φ}$ 是互逆的 [译注: 我更愿意省略dummy variable而说 $χ$ 和 $V$ 是互逆的, 当然这只是风格问题]: $\begin{array}{rcl} V_{χ_{U}} & = & {x \in A | χ_{U} (x) = ⊤} \\ = & {x \in A | x \in U} \\ = & U \end{array}$ 对于任意的 $U \subseteq A$ 成立. 并且, 给定任意的 $φ : A \to 2$ , 我们有 $\begin{array}{rcl} χ_{V_{φ}} (x) & = & {\begin{matrix} ⊤ & , x \in V_{φ} \\ ⊥ & , x \notin V_{φ} \end{matrix} \\ = & {\begin{matrix} ⊤ & , φ (x) = ⊤ \\ ⊥ & , φ (x) = ⊥ \end{matrix} \\ = & φ (x) \end{array}$ 因此, 我们有熟悉的同构 $Hom (A, 2) ≅ P (A)$ mediated by taking equalizers.

函数的等化子可以取子集这样一个事实实际上是一种更一般的现象的特殊情形.

命题3.16. 在任何范畴中, 如果

e : E \to A

是某对箭头的一个等化子, 那么

e

是一个单态射.

证明. [译注: 这个证明近乎于重复了一遍定义.] 考虑图表其中我们假定

e

是

f

和

g

的等化子. 设

e x = e y

, 我们想要证明

x = y

. 置

z = e x = e y

, 那么

f z = f e x = g e x = g z

, 于是存在唯一的

u : Z \to E

使得

e u = z

. 因此, 根据

e x = z

和

e y = z

可以推出

x = u = y

◻

例子3.17. 在许多范畴中, 例如偏序集和幺半群的范畴, 一个平行箭头序对

f, g : A ⇉ B

的等化子可以通过取作为基础函数的等化子按照以上方式构造出来, 即子集

A (f = g) \subseteq A

, 其指的是满足

f (x) = g (x)

的所有元素

x \in A

构成的集合. 例如, 在偏序集中我们取从

A

限制到

A (f = g)

的序, 而在拓扑空间中, 我们取子空间拓扑.
在幺半群中, 子集

A (f = g)

在

A

的运算下也是一个幺半群, 因此这个嵌入是一个同态. 这个的原因是 [译注: 当然十分显然]

f (u_{A}) = u_{B} = g (u_{A})

, 并且如果

f (a) = g (a)

且

f (a^{'}) = g (a^{'})

, 那么

f (a \cdot a^{'}) = f (a) \cdot f (a^{'}) = g (a) \cdot g (a^{'}) = g (a \cdot a^{'})

. 于是,

A (f = g)

包含单位元并在乘积运算下封闭.
在Abel群中, 我们可以有对于等化子的另外的描述方式, 使用以下事实

f (x) = g (x) 当且仅当 (f - g) (x) = 0

因此,

f

和

g

的等化子就等于同态

(f - g)

和零同态

0 : A \to B

的等化子. 于是, 只需要对于任意的同态

h : A \to B

考虑特殊形式的等化子

A (h, 0) ↣ A

就够了. 这个

A

的子群被称为

h

的核, 记作

\ker (h)

. 因此, 我们有等化子

\ker (f - g) ↪ A ⇉_{g}^{f} B .

同态的核在对于群的研究中具有根本的重要性, 在第4章中我们将进一步考虑这个概念.

第3.4节余等化子

余等化子是对于由等价关系取商的泛化, 所以让我们从回顾这个概念开始, 当然我们已经用过很多次了. 首先回忆一下, 一个集合 $X$ 上的一个等价关系是一个二元关系 $x \sim y$ , 其满足

自反性: $x \sim x$ ;
对称性: $x \sim y$ 可以推出 $y \sim x$ ;
传递性: $x \sim y$ 和 $y \sim z$ 可以推出 $x \sim z$ .

给定这样一个关系, 定义一个元素

x \in X

的等价类为

[x] = {y \in X | x \sim y} .

所有不同的等价类然后构成了

X

的一个划分, 意思是每个元素

y

都恰好位于其中一个集合中, 即

[y]

(证明一下!).

有时人们将等价关系想成是由具有某种相同性质 (例如具体相同的颜色) 的等价元素所产生的. 我们可以将等价类 $[x]$ 当成是性质, 在这种意义下作为抽象对象 (比如说颜色红色, 蓝色, 等等, 它们本身). 这有时被称为definition by abstraction, 举例来说, 它描述了实数是如何从有理数的Cauchy序列构造出来的, 或者有限基数是如何从有限集合构造出来的.

所有等价类构成的集合 $X / \sim = {[x] | x \in X}$ 或许可以被称为 $X$ 除以 $\sim$ 的商. 当人们想要抽象出等价元素 $x \sim y$ 之间的差异时 [译注: 也就是忽略等价元素之间的差异], 就是使用 $X / \sim$ 代替 $X$ , 即在 $X / \sim$ 中这样的元素 (也仅是这样的元素) 会被等同起来, 因为 $[x] = [y] 当且仅当 x \sim y .$ 观察到商映射 $q : X \to X / \sim$ 其取 $x$ 至 $[x]$ , 具有这样的性质, 即一个映射 $f : X \to Y$ extends along $q$ ,只要 $f$ 尊重等价关系, 意即 $x \sim y$ 可以推出 $f (x) = f (y)$ .

现在让我们来考虑对偶于等化子的概念, 即所谓的余等化子.

定义3.18. 对于某个范畴

C

中任意的平行箭头

f, g : A \to B

[译注: 老实说, 这本书的很多记号都不太一致, 但是理解意思就行了], 一个余等化子由

Q

和

q : B \to Q

构成, universal with the property

q f = q g

, 如下图所示也就是说, 给定任意的

Z

和

z : B \to Z

, 如果

z f = z g

, 那么存在唯一的态射

u : Q \to Z

使得

u q = z

首先观察到, 根据对偶性, 我们知道范畴 $C$ 中的这样一个余等化子是范畴 $C^{op}$ 中的一个等化子, 这个等化子根据命题3.16是单态射, 所以在 $C$ 中这个余等化子应该是满态射.

命题3.19. 如果

q : B \to Q

是某对箭头的一个余等化子, 那么

q

是一个满态射.

因此, 我们可以将一个余等化子 $q : B ↠ Q$ 想成是 $B$ 的一种坍缩, 通过将所有序对 $f (a) = g (a)$ 等同起来 (speaking as if there were such elements $a \in A$ ). 而且, 我们以最小的方式这么做, 也就是说, 尽可能少地打扰 $B$ , 在于我们总是可以将 $Q$ 映射到任何其他的 $Z$ , 只要其中所有这样的等同起来都是成立的.

例子3.20. 令

R \subseteq X \times X

是集合

X

上的一个等价关系, 并考虑图

R ⇉_{r_{2}}^{r_{1}} X

其中

r_{1}

和

r_{2}

是嵌入 (inclusion)

R \subseteq X \times X

的两个投影, 即

范畴论笔记

第1章范畴

第1.1节引入

第1.2节集合的函数

第1.3节范畴的定义

第1.4节范畴的例子

第1.5节同构

第1.6节范畴上的构造

第1.7节自由范畴

第1.8节基础问题: 大, 小, 局部小

第1.9节练习

第2章抽象结构

第2.1节满态射和单态射

第2.2节始对象和终对象

第3章对偶

第3.1节对偶原理

第3.2节余积

第3.3节等化子

第3.4节余等化子

第4章群和范畴

第5章极限和余极限

范畴论笔记

第1章 范畴

第1.1节 引入

第1.2节 集合的函数

第1.3节 范畴的定义

第1.4节 范畴的例子

第1.5节 同构

第1.6节 范畴上的构造

第1.7节 自由范畴

第1.8节 基础问题: 大, 小, 局部小

第1.9节 练习

第2章 抽象结构

第2.1节 满态射和单态射

第2.2节 始对象和终对象

第3章 对偶

第3.1节 对偶原理

第3.2节 余积

第3.3节 等化子

第3.4节 余等化子

第4章 群和范畴

第5章 极限和余极限

第1章范畴

第1.1节引入

第1.2节集合的函数

第1.3节范畴的定义

第1.4节范畴的例子

第1.5节同构

第1.6节范畴上的构造

第1.7节自由范畴

第1.8节基础问题: 大, 小, 局部小

第1.9节练习

第2章抽象结构

第2.1节满态射和单态射

第2.2节始对象和终对象

第3章对偶

第3.1节对偶原理

第3.2节余积

第3.3节等化子

第3.4节余等化子

第4章群和范畴

第5章极限和余极限