范畴（Category）

参考文献：Advanced Modern Algebra - Joseph J. Rotman
前置文章：模（module）

罗素悖论

在”朴素集合论“中，“集合”的定义十分模糊，它使用“a collection of things”这一直觉来定义集合。如果我们定义“所有自包含集合”的集合$A$，那么集合$A$是否包含自己？如果$A$包含自己，那么$A$成为$A$的一个成员（member）；如果$A$不包含自己，那么$A$就不是$A$的成员；两者都是自恰的，这是不可判定问题。虽然它没有对朴素集合论造成毁灭性打击，但我们接下来考虑下“不自包含集合”。

罗素集合（Russell set）：一个集合$S$，它不包含自己，即$S\notin S$

罗素悖论（Russell’s paradox）：如果$R$是所有罗素集合的收集，那么$R$是罗素集合么？如果$R$包含自己，那么根据定义$R\notin R$，矛盾；如果$R$不包含自己，那么根据定义$R\in R$，也矛盾。于是朴素集合论是自相矛盾的！

为了避免矛盾，”现代集合论“建立在诸多公理（axioms）上，这些公理禁止“自指”。我们定义原语类（class）来取代set，我们将根据公理规则构建的class叫做集合（set），在它上面可以定义基数（cardinality），也就是说：一个class是set$⟺$它是“小”的（有一个基数）。我们将不是set的class叫做真类（proper class）。

通过制定“仅仅用于集合、但不用于真类”的规则，就可以避免悖论。

范畴（Category）

定义

一个范畴$\mathcal{C}$包含三部分，

1. 一个关于对象（objects）的类$obj(\mathcal{C})$
2. 关于态射（morphisms）的集合$Hom(A,B)$，其中$(A,B)$是任意的对象有序对
3. Hom集合的组合（composition）$Hom(A,B)\times Hom(B,C)\to Hom(A,C)$，定义为$(f,g)\mapsto gf$，其中$(A,B,C)$是任意的有序三元组

一般地，我们将态射$f\in Hom(A,B)$写作$f:A\to B$或者$A\stackrel{f}{\to }B$

这些成分要符合以下的公理：

1. Hom集合是成对不同的（pairwise disjoint），即每一个态射都有唯一的域（domain）和唯一的目标（target）

2. 对于任意的对象$A$，都存在恒等态射（identity morphism）$1_A\in Hom(A,A)$，使得
   $$f{1}_A=f,1_{B}f=f,\forall f:A\to B$$

3. 组合是结合的（associative），给定态射$A\stackrel{f}{\to }B\stackrel{g}{\to }C\stackrel{h}{\to }D$，那么
   $$h(gf)=(hg)f$$

范畴$\mathcal{C}$的一个态射$f:A\to B$叫做等价（equivalence）或同构（isomorphism），如果存在一个态射$g:B\to A$，使得
$$gf=1_A,fg=1_B$$
我们说态射$g$是同构$f$的逆（inverse），易知它是唯一的。

例子

• 集合范畴 Sets：对象是集合，态射是函数，组合是函数的复合

• 群范畴 Groups：对象是群，态射是同构，组合是函数的复合

• 交换环范畴 CommRings：对象是交换环，态射是环同构，组合是函数的复合

• 模范畴 ${}_R$Mod：令$R$是交换环，对象是$R-$模，态射是$R-$同构，组合是函数的复合

• 交换群范畴 Ab：模范畴${}_{\mathbb{Z}}$ Mod，就是阿贝尔群范畴

• 部分有序集合（partially ordered set）范畴 PO(X)：令集合$X$是部分有序的（不是全序的），对象是集合元素，态射集合要么是空集要么只有一个元素
  $$Hom(x,y)=\{\begin{array}{rlr}\varnothing ,& & x/⋞y\\ {\kappa }_y^x,& & x⋞y\end{array}$$
  因为偏序$⋞$是传递的，组合为${\kappa }_z^y{\kappa }_y^x={\kappa }_z^x$

• 拓扑空间范畴 Top：对象是拓扑空间，态射是连续函数（continuous functions），组合是函数的复合

• $\mathcal{C}(G)$范畴：令$G$是群，这个范畴的唯一对象定义为$\ast$，唯一的态射集合$Hom(\ast ,\ast )=G$，组合为$G\times G\to G$，这个范畴很特殊：由于$\ast$只是一个对象，不是集合，也就没有$function:\ast \to \ast$，因此态射不是函数，且没有子对象（subobjects）

预加性

一个范畴$\mathcal{C}$是预加性的（pre-additive），如果任意的$Hom(A,B)$都被配备（equipped）了一个二元运算成为加法交换群，对于任意的$f,g\in Hom(A,B)$，满足

1. 如果$p:B\to B^{\prime }$，那么$p(f+g)=pf+pg\in Hom(A,B^{\prime })$
2. 如果$q:A^{\prime }\to A$，那么$(f+g)q=fq+gq\in Hom(A^{\prime },B)$

模范畴的预加性

令$R$是环，$M,N$是$R-$模，定义
H o m R ( M , N ) = { a l l    R − h o m o m o r p h i s m    M → N } Hom_R(M,N) = \{ all\,\, R-homomorphism\,\, M \to N \} HomR​(M,N)={allR−homomorphismM→N}
如果$f,g\in Ho{m}_R(M,N)$，定义加法
$$f+g:m\mapsto f(m)+g(m)$$

当$R$是交换环，数乘定义为
$$rf:m\mapsto f(rm)$$
于是$Ho{m}_R(M,N)$成为$R-$模，且对于任意的$f,g\in Ho{m}_R(M,N)$都有：

1. 如果$p:M\to M^{\prime }$，那么$p(f+g)=pf+pg$
2. 如果$q:N^{\prime }\to N$，那么$(f+g)q=fq+gq$

因此，交换环下的模是预加性范畴，它的态射可加。而可以证明，群范畴没有预加性的结构。

实际上，交换群之间的所有同态就是环，环之间的所有同态就是模，而模之间的所有同态依然是模。

范畴的图描述

图

范畴$\mathcal{C}$的图（diagram）是一个有向图，它的点（vertices）是对象，箭头（arrows）是态射，路径（path）是组合。

我们称范畴$\mathcal{C}$的图交换（commutes），如果对于每一个有序点对$(A,B)$，从$A$到$B$的任意路径对应的组合是相同态射。

余积

令$A,B$是范畴$\mathcal{C}$的对象，它们的余积或和（coproduct、sum）记做$A\bigsqcup B$，定义为一个对象$C\in obj(\mathcal{C})$，伴随有注入态射（injection morphisms）$\alpha :A\to C$和$\beta :B\to C$，它对于任意的对象$X$以及任意一对态射$f:A\to X$与$g:B\to X$，总存在唯一的态射$\theta :C\to X$，使得
$$\theta \alpha =f,\theta \beta =g$$
也就是说，下图交换：

令$A,B\in obj(\mathcal{C})$，那么$A,B$的任意两个余积，如果它们存在，那么它们是同构的。证明如下图：

余积的例子

• 集合范畴的余积存在：集合的不交并（disjoint unions），对于不交的集合$A,B$，任意的$X$以及$f,g$，定义$h:A\bigsqcup B\to X$为
  $$h(u)=\{\begin{array}{rlr}f(u),& & u\in A\\ g(u),& & u\in B\end{array}$$
  上述的$h$是良定义的（well-defined），因为不交。

• 群范畴的余积存在：群的自由积（free product）

• 模范畴的余积存在：模的直和，$C=A\oplus B$

• 部分有序集合范畴的余积可能不存在。首先可以证明，令$a,b\in X$，那么余积$a\bigsqcup b$就是$a,b$的最小上界（the least upper bound，一个上界$m$，它使得任意的上界$n$都有$m⋞n$）。然后，下面的集合的子集 { c , d } \{c,d\} {c,d}就没有最小上界，因此$c\bigsqcup d$不存在，如图：

积

令$A,B$是范畴$\mathcal{C}$的对象，它们的积（product）记做$A\sqcap B$，定义为一个对象$P\in obj(\mathcal{C})$，伴随有投影态射（projection morphisms）$p:P\to A$和$q:P\to B$，它对于任意的对象$X$以及任意一对态射$f:X\to A$与$g:X\to B$，总存在唯一的态射$\theta :X\to P$，使得
$$p\theta =f,q\theta =g$$
也就是说，下图交换：

令$A,B\in obj(\mathcal{C})$，那么$A,B$的任意两个积，如果它们存在，那么它们是同构的。证明类似余积，略。

积的例子

• 集合范畴的积存在：集合的笛卡尔积（categorical product），对于集合$A,B$，$P=A\times B$，定义态射$p:(a,b)\mapsto a$与$q:(a,b)\mapsto b$，那么对于任意的$X$和$f,g$，可以找到满足条件的映射$\theta :X\to P$，它定义为
  $$\theta :x\mapsto (f(x),g(x))$$

• 群范畴的积存在：群的直积（direct product）

• 如果环$R$是交换环，令$A,B$是$R-$模，那么它们的积$A\sqcap B$存在，事实上$A\sqcap B\cong A\bigsqcup B$

推广

余积

令 { A i : i ∈ I } \{A_i:i \in I\} {Ai​:i∈I}是范畴$\mathcal{C}$的一族被集合$I$（可以是可数无限的）索引的对象，它们的余积是一个有序对 ( C , { α i : A i → C } ) (C,\{\alpha_i:A_i \to C\}) (C,{αi​:Ai​→C})，其中$C={⨆}_{i\in I}{A}_i$，而 { α i : A i → ⨆ i ∈ I A i } ) \{\alpha_i:A_i \to \bigsqcup_{i \in I} A_i\}) {αi​:Ai​→⨆i∈I​Ai​})是一族注入态射，满足以下性质：对于任意的对象$X$以及任意态射$f_i:A_i\to X$，总存在唯一的态射$\theta :{⨆}_{i\in I}{A}_i\to X$，使得下图交换：

模的余积

令$R$是交换环， { A i : i ∈ I } \{A_i:i \in I\} {Ai​:i∈I}是一族$R-$模，它们的直积（direct product）记做${\prod }_{i\in I}{A}_i$，定义为笛卡尔积（$I-$元组$(a_i)$它的第$i$坐标落在$A_i$里），加法和数乘为：
$$(a_i)+(b_i)=(a_i+b_i)$$

$$r(a_i)=(r{a}_i)$$

其中$r\in R$，$a_i,b_i\in A_i$

一族$R-$模的直积，就是范畴 ${}_R$Mod 的余积。

定理：令$R$是交换环，对于任意的$R-$模$A$和 { B i : i ∈ I } \{B_i: i \in I\} {Bi​:i∈I}，都有
$$Ho{m}_R(A,\prod _{i\in I}{B}_i)\cong \prod _{i\in I}Ho{m}_R(A,B_i)$$
其中的$R-$同构为
$$\varphi :f\mapsto (p_{i}f)$$
其中$p_i$是${\prod }_{i\in I}{B}_i$的投影（projections）

积

令 { A i : i ∈ I } \{A_i:i \in I\} {Ai​:i∈I}是范畴$\mathcal{C}$的一族被集合$I$索引的对象，它们的积是一个有序对 ( C , { α i : A i → C } ) (C,\{\alpha_i:A_i \to C\}) (C,{αi​:Ai​→C})，其中$C={\sqcap }_{i\in I}{A}_i$，而 { p i : ⊓ i ∈ I A i → A i } ) \{p_i:\sqcap_{i \in I} A_i \to A_i\}) {pi​:⊓i∈I​Ai​→Ai​})是一族投影态射，满足以下性质：对于任意的对象$X$以及任意态射$f_i:X\to A_i$，总存在唯一的态射$\theta :X\to {\sqcap }_{i\in I}{A}_i$，使得下图交换：

模的积

令$R$是交换环， { A i : i ∈ I } \{A_i:i \in I\} {Ai​:i∈I}是一族$R-$模，它们的直和（direct sum）记做${\sum }_{i\in I}{A}_i$，定义为直积的子模，它只有有限多的非零坐标（having only finitely many nonzero coordinates）。如果$I$是有限的，那么${\sum }_{i\in I}{A}_i={\prod }_{i\in I}{A}_i$；如果$I$是无限的，那么直和是直积的真子模（proper submodule）

一族$R-$模的直和，就是范畴 ${}_R$Mod 的积。

定理：令$R$是交换环，对于任意的$R-$模$B$和 { A i : i ∈ I } \{A_i: i \in I\} {Ai​:i∈I}，都有
$$Ho{m}_R(\prod _{i\in I}{A}_i,B)\cong \prod _{i\in I}Ho{m}_R(A_i,B)$$
其中的$R-$同构为
$$\varphi :f\mapsto (f{\alpha }_i)$$
其中${\alpha }_i$是${\sum }_{i\in I}{A}_i$的注入（injections）

推论：令$A,A^{\prime },B,B^{\prime }$都是$R-$模，那么就有如下同构
$$Ho{m}_R(A,B\bigsqcup B^{\prime })\cong Ho{m}_R(A,B)\bigsqcup Ho{m}_R(A,B^{\prime })$$

$$Ho{m}_R(A\bigsqcup A^{\prime },B)\cong Ho{m}_R(A,B)\bigsqcup Ho{m}_R(A^{\prime },B)$$

这里的$\bigsqcup$是两个模的直和。

对偶结构：拉回、推出

Pullback

给定范畴$\mathcal{C}$里的两个态射$f:B\to A$和$g:C\to A$，解（solution）是一个有序对$(D,\alpha ,\beta )$，它使得下图交换：

一个拉回或纤维积（pullback、fibered product）是一个最优解$(D,\alpha ,\beta )$，它对于任意的解$(X,{\alpha }^{\prime },{\beta }^{\prime })$，存在唯一的态射$\theta :X\to D$，使得下图交换：

容易看出，对象$B,C,D,X$以及它们之间的态射，组成了积的交换图。但 ( D , { α , β } ) (D,\{\alpha,\beta\}) (D,{α,β})是针对所有的解$X$，对于不是解的其他对象没有限制。

模的拉回

任给一个范畴，拉回不一定存在。

对于模范畴 ${}_R$ Mod，其中的任意两个映射$f:B\to A$和$g:C\to A$，它们的拉回存在。

我们定义
D = { ( b , c ) ∈ B ⊔ C : f ( b ) = g ( c ) } D = \{ (b,c) \in B \sqcup C: f(b) = g(c) \} D={(b,c)∈B⊔C:f(b)=g(c)}
这里$\bigsqcup$是模的直和。

然后再定义$\alpha :D\to C$为投影
$$\alpha :(b,c)\mapsto c$$
定义$\beta :D\to B$为投影
$$\beta :(b,c)\mapsto b$$
容易看出，$(D,\alpha ,\beta )$是一个解。对于任意的解$(X,{\alpha }^{\prime },{\beta }^{\prime })$，定义$\theta :X\to D$为
$$\theta :x\mapsto ({\beta }^{\prime }(x),{\alpha }^{\prime }(x))$$
由于$X$是解，因此$f{\beta }^{\prime }(x)=g{\alpha }^{\prime }(x)$

然后可以证明图交换，且$\theta$唯一，于是$(D,\alpha ,\beta )$是一个拉回。

Pushout

给定范畴$\mathcal{C}$里的两个态射$f:A\to B$和$g:A\to C$，解（solution）是一个有序对$(D,\alpha ,\beta )$，它使得下图交换：

一个推出或纤维和（pushout、fibered sum）是一个最优解$(D,\alpha ,\beta )$，它对于任意的解$(X,{\alpha }^{\prime },{\beta }^{\prime })$，存在唯一的态射$\theta :D\to X$，使得下图交换：

注意，与Pullback相比，Pushout的箭头全部相反。这是两个对偶结构（dual constructions）

容易看出，对象$B,C,D,X$以及它们之间的态射，组成了余积的交换图。但 ( D , { α , β } ) (D,\{\alpha,\beta\}) (D,{α,β})是针对所有的解$X$，对于不是解的其他对象没有限制。

模的推出

任给一个范畴，推出不一定存在。

对于模范畴 ${}_R$ Mod，其中的任意两个映射$f:A\to B$和$g:A\to C$，它们的推出存在。

我们定义
S = { ( f ( a ) , − g ( a ) ) ∈ B ⊔ C : a ∈ A } S = \{ (f(a),-g(a)) \in B \sqcup C: a \in A \} S={(f(a),−g(a))∈B⊔C:a∈A}
这里$\bigsqcup$是模的直和。容易看出$S$是$B\bigsqcup C$的子模，定义商模
$$D=(B\bigsqcup C)/S$$
然后再定义$\alpha :B\to D$为注入
$$\alpha :b\mapsto (b,0)+S$$
定义$\beta :C\to D$为注入
$$\beta :c\mapsto (0,c)+S$$
容易看出，$(D,\alpha ,\beta )$是一个解。对于任意的解$(X,{\alpha }^{\prime },{\beta }^{\prime })$，定义$\theta :D\to X$为
$$\theta :(b,c)+S\mapsto ({\alpha }^{\prime }(b),{\beta }^{\prime }(c))$$
然后可以证明图交换，且$\theta$唯一，于是$(D,\alpha ,\beta )$是一个拉回。