1. 范畴与函子

范畴

在范畴论当中, 我们会频繁地使用图表的语言. 粗略地说, 一个图表指的是一些 ‘对象’ 和 ‘箭头’ 的集合; 我们将这些对象记为 $A,B,C,X,Y,\cdots$, 将箭头记为 $f,g,\cdots$, 例如:

我们用 $\circ$ 来表示箭头的复合. 如果在一个图表中, 对于任意两个对象, 它们之间任意路径上箭头的复合都相等, 我们称这个图表交换. 对于之前的两个例子而言, 它们交换当且仅当$$h=g\circ f{f}_2\circ f_1=g_2\circ g_1.$$

定义 1.1. 一个范畴 $\mathcal{C}$ 包含如下信息:

1.	一类对象: $\mathrm{Obj}(\mathcal{C})$ (我们称一个范畴是小的, 如果 $\mathrm{Obj}(\mathcal{C})$ 构成一个集合). 对于范畴 $\mathcal{C}$ 中的对象 $A$, 我们记 $A\in \mathrm{Obj}(\mathcal{C})$, 或直接记为 $A\in \mathcal{C}$.
2.	任意对象 $A,B$ 之间一个态射的集合: ${\mathrm{Hom}}_{\mathcal{C}}(A,B)$. 任意 $f\in {\mathrm{Hom}}_{\mathcal{C}}(A,B)$ 被称为 $A$ 到 $B$ 的一个态射, 记为$$A\stackrel{f}{\to }B\text{ 或者 }f:A\to B$$ 当在上下文中我们明确地指范畴 $\mathcal{C}$ 时, 我们也会将 ${\mathrm{Hom}}_{\mathcal{C}}(A,B)$ 简记为 $\mathrm{Hom}(A,B)$.
3.	一个态射之间的复合操作 $\circ$: $$\begin{array}{rl}{\mathrm{Hom}}_{\mathcal{C}}(A,B)\times {\mathrm{Hom}}_{\mathcal{C}}(B,C)& \to {\mathrm{Hom}}_{\mathcal{C}}(A,C),\forall A,B,C\in \mathrm{Obj}(\mathcal{C})\\ f\times g& \mapsto g\circ f\end{array}$$采用图表的语言, 态射间的复合可以表示如下:

这些信息满足以下条件:

1.	结合律: 态射满足 $h\circ (g\circ f)=(h\circ g)\circ f$, 并被直接记为 $h\circ g\circ f$. 采用图表的语言, 结合律表示如下图表交换
2.	复合单位: 对任意 $A\in \mathrm{Obj}(\mathcal{C})$, 存在 $1_A:{\mathrm{Hom}}_{\mathcal{C}}(A,A)$, 称为 $A$ 的单位态射, 它满足$$f\circ 1_A=f=1_B\circ f,\forall f:A\to B$$也就是说, 下面的图表交换:

定义 1.2. 范畴 $\mathcal{C}$ 的一个子范畴 ${\mathcal{C}}^{\prime }$ (记为 ${\mathcal{C}}^{\prime }\subset \mathcal{C}$) 是满足如下条件的范畴:

1.	$\mathrm{Obj}({\mathcal{C}}^{\prime })\subset \mathrm{Obj}(\mathcal{C})$.
2.	${\mathrm{Hom}}_{{\mathcal{C}}^{\prime }}(A,B)\subset {\mathrm{Hom}}_{\mathcal{C}}(A,B),\forall A,B\in \mathrm{Obj}({\mathcal{C}}^{\prime })$.
3.	${\mathcal{C}}^{\prime }$ 继承了 $\mathcal{C}$ 中的复合操作.

我们称 ${\mathcal{C}}^{\prime }$ 为 $\mathcal{C}$ 的一个满子范畴, 如果对于任意 $A,B\in \mathrm{Obj}({\mathcal{C}}^{\prime })$, 我们有 ${\mathrm{Hom}}_{{\mathcal{C}}^{\prime }}(A,B)={\mathrm{Hom}}_{\mathcal{C}}(A,B)$.

定义 1.3. 态射 $f:A\to B$ 是一个同构 (或是可逆的), 当且仅当存在一态射 $g:B\to A$ 满足 $f\circ g=1_B,g\circ f=1_A$, 即如下图表交换, 我们称 $A,B$ 是同构的, 当且仅当存在一个同构 $f:A\to B$.

例子 1.4. 我们会经常遇到下列范畴:

1.	$\mathcal{C}=\mathsf{S}\mathsf{e}\mathsf{t}$, 集合的范畴: $$\mathrm{Obj}(\mathcal{C})=\{\text{集合}\},{\mathrm{Hom}}_{\mathcal{C}}(A,B)=\{\text{集合的映射}A\to B\}.$$
2.	$\mathcal{C}={\mathsf{V}\mathsf{e}\mathsf{c}\mathsf{t}}_k$, 域 $k$ 上的向量空间的范畴: $$\mathrm{Obj}(\mathcal{C})=\{\text{k-向量空间}\},{\mathrm{Hom}}_{\mathcal{C}}(A,B)=\{\text{k-线性映射}A\to B\}.$$${\mathsf{V}\mathsf{e}\mathsf{c}\mathsf{t}}_k$ 是 $\mathsf{S}\mathsf{e}\mathsf{t}$ 的子范畴, 但并不是满的子范畴.
3.	$\mathcal{C}=\mathsf{G}\mathsf{r}\mathsf{p}$, 群的范畴: $$\mathrm{Obj}(\mathcal{C})=\{\text{群}\},{\mathrm{Hom}}_{\mathcal{C}}(A,B)=\{\text{群同态}A\to B\}.$$它有一个满的子范畴是$$\mathsf{A}\mathsf{b},\text{阿贝尔群的范畴}.$$
4.	$\mathcal{C}=\mathsf{R}\mathsf{i}\mathsf{n}\mathsf{g}$, 环的范畴: $$\mathrm{Obj}(\mathcal{C})=\{\text{环}\},{\mathrm{Hom}}_{\mathcal{C}}(A,B)=\{\text{环同态}A\to B\}.$$$\mathsf{R}\mathsf{i}\mathsf{n}\mathsf{g}$ 是 $\mathsf{A}\mathsf{b}$ 的子范畴, 但不是它的满的子范畴. $\mathsf{R}\mathsf{i}\mathsf{n}\mathsf{g}$ 有一个满的子范畴是$$\mathsf{C}\mathsf{R}\mathsf{i}\mathsf{n}\mathsf{g},\text{交换环的范畴 }$$

我们主要感兴趣的范畴是$$\boxed{\mathsf{T}\mathsf{o}\mathsf{p}:=\text{拓扑空间的范畴}}$$

•	构成这个范畴的对象是拓扑空间
•	范畴里对象间的态射 $f:X\to Y$ 是连续映射.

例子 1.5. 记 $\mathcal{C}$ 和 $\mathcal{D}$ 是两个范畴. 我们可以如下构造一个新的范畴, 记作 $\mathcal{C}\times \mathcal{D}$, 并把它称为范畴 $\mathcal{C}$ 和 $\mathcal{D}$ 的乘积.

•	范畴 $\mathcal{C}\times \mathcal{D}$ 中的对象是二元组 $(X,Y)$, 其中 $X\in \mathcal{C}$, $Y\in D$.
•	对象间的态射是二元组 $(f,g):(X_1,Y_1)\to (X_2,Y_2)$, 其中 $f\in {\mathrm{Hom}}_{\mathcal{C}}(X_1,X_2)$, $g\in {\mathrm{Hom}}_{\mathcal{D}}(Y_1,Y_2)$.
•	态射的复合是按部分的复合.

商范畴与同伦

定义 1.6. 记 $\mathcal{C}$ 是一个范畴. 用 $\simeq$ 表示定义在每个态射集合 ${\mathrm{Hom}}_{\mathcal{C}}(A,B),A,B\in \mathrm{Obj}(\mathcal{C})$ 上的一个等价关系, 这个等价关系与态射间的复合映射在下述含义下是相容的: $$f_1\simeq f_2,g_1\simeq g_2⟹g_1\circ f_1\simeq g_2\circ f_2.$$这种相容性可用下面的图表表示: 这样, 我们就说 $\simeq$ 在 $\mathcal{C}$ 上定义了一个等价关系. 由此, 我们可以定义商范畴 ${\mathcal{C}}^{\prime }=\mathcal{C}/\simeq$ :

•	$\mathrm{Obj}({\mathcal{C}}^{\prime })=\mathrm{Obj}(\mathcal{C})$.
•	${\mathrm{Hom}}_{{\mathcal{C}}^{\prime }}(A,B)={\mathrm{Hom}}_{\mathcal{C}}(A,B)/\simeq ,\forall A,B\in \mathrm{Obj}({\mathcal{C}}^{\prime })$.

习题 1.7. 验证上述定义是良定义的.

在代数拓扑中, 同伦是最重要的等价关系之一.

记 $I=[0,1]$. 用 $X\times Y$ 表示拓扑空间 X, Y 在范畴 $\mathsf{T}\mathsf{o}\mathsf{p}$ 中的乘积.

定义 1.8. $\mathsf{T}\mathsf{o}\mathsf{p}$ 中的两个态射 $f_0,f_1:X\to Y$ 是同伦的, 并被记为 $f_0\simeq f_1$, 如果$$\exists F:X\times I\to Y\text{使得}F{|}_{X\times \{0\}}=f_0\text{且}F{|}_{X\times \{1\}}=f_1.$$在同伦 $F$ 需要被特别注明时, 我们也采用 $F:f_0\simeq f_1$ 或 $f_0\stackrel{F}{\simeq }{f}_1$ 这种记法. 这可以用如下图表描述:

记 $f:X\to Y$ 是 $\mathsf{T}\mathsf{o}\mathsf{p}$ 中的一个态射. 我们定义它的同伦类为$$[f]:=\{g\in \mathrm{Hom}(X,Y)\mid g\simeq f\},$$并采用记号: $$\begin{array}{c}[X,Y]:=\mathrm{Hom}(X,Y)/\simeq .\end{array}$$

定理 1.9. 同伦在 $\mathsf{T}\mathsf{o}\mathsf{p}$ 上定义了一个等价关系.

证明. 我们首先验证 $\simeq$ 在态射集合中定义了一个等价关系.

•	自反性: 将 $F$ 取成对任意 $t\in I$ 都满足 $F{\mid }_{X\times t}=f$ 的同伦.
•	对称性: 假定我们有一个同伦 $F:f_0\simeq f_1$. 那么如下 “逆转” $I$ : 即取 $\tilde{F}(x,t)=F(x,1-t):X\times I\to Y$, 这样就给出了这里所需要的 $f_1\simeq f_0$.
•	传递性: 假定我们有两个同伦 $F:f_0\simeq f_1$ 和 $G:f_1\simeq f_2$, 那么像下图所表示地将它们 “放” 在一起就给出 $\tilde{F}:f_0\simeq f_2$ :

我们接下来验证 $\simeq$ 与复合映射相容.

记 $f_0,f_1:X\to Y$ , 以及 $g_0,g_1:Y\to Z$. 假定 $f_0\stackrel{F}{\simeq }{f}_1$ 且 $g_0\stackrel{G}{\simeq }{g}_1$. 那么

根据传递性, 我们就证明了这里的相容性: $g_0\circ f_0\simeq g_0\circ f_1\simeq g_1\circ f_1$.

$\square$

我们将 $\mathsf{T}\mathsf{o}\mathsf{p}$ 在同伦等价关系 $\simeq$ 下的的商范畴记为$$h\mathsf{T}\mathsf{o}\mathsf{p}=\mathsf{T}\mathsf{o}\mathsf{p}/\simeq$$其中的态射 ${\mathrm{Hom}}_{h\mathsf{T}\mathsf{o}\mathsf{p}}(X,Y)=[X,Y]$.

定义 1.10. 两个拓扑空间 $X,Y$ 被称为具有相同的同伦型, 或称 $X,Y$ 同伦等价, 如果它们在 $h\mathsf{T}\mathsf{o}\mathsf{p}$ 中是同构的.

例子 1.11. $\mathbb{R}$ 和 ${\mathbb{R}}^2$ 是同伦等价的, 但它们不是同胚的. 换言之, 它们在 $h\mathsf{T}\mathsf{o}\mathsf{p}$ 中是同构的, 但在 $\mathsf{T}\mathsf{o}\mathsf{p}$ 中是不同构的. 我们将看到, ${\mathbb{R}}^1$ 与 $S^1$ 也不是同伦等价的.

我们也有相对同伦的概念.

定义 1.12. 设 $A\subset X\in \mathsf{T}\mathsf{o}\mathsf{p}$, 态射 $f_0,f_1:X\to Y$ 满足 $f_0{|}_A=f_1{|}_A:A\to Y$. 我们称 $f_0$ 与 $f_1$ 相对于 $A$ 同伦, 记为$$f_0\simeq f_1\mathrm{rel}A$$如果存在 $F:X\times I\to Y$ 使得$$F{|}_{X\times \{0\}}=f_0,F{|}_{X\times \{1\}}=f_1,F{|}_{A\times t}=f_0{|}_A,\forall t\in I.$$

函子

定义 1.13. 令 $\mathcal{C},\mathcal{D}$ 是两个范畴. A 协变函子 (相对应的反变函子) 由 $F:\mathcal{C}\to \mathcal{D}$ 组成.

1.	$F:\mathrm{Obj}(\mathcal{C})\to \mathrm{Obj}(\mathcal{D})$, $A\to F(A)$
2.	${\mathrm{Hom}}_{\mathcal{C}}(A,B)\to {\mathrm{Hom}}_{\mathcal{D}}(F(A),F(B)),对\forall A,B\in \mathrm{Obj}(\mathcal{C})$. 我们使用$$A\stackrel{f}{\to }B⟹F(A)\stackrel{F(f)}{\to }F(B)$$(相对应的 ${\mathrm{Hom}}_{\mathcal{C}}(A,B)\to {\mathrm{Hom}}_{\mathcal{D}}(F(B),F(A)),\forall A,B\in \mathrm{Obj}(\mathcal{C})$, 使用$$A\stackrel{f}{\to }B⟹F(B)\stackrel{F(f)}{\to }F(A).)$$

满足以下性质

1.	$F(g\circ f)=F(g)\circ F(f)$ (相对应的 $F(g\circ f)=F(f)\circ F(g)$) 对任意可合成态射 $f,g$ (与之对应的, 反转右图中所有箭头).
2.	$F(1_A)=1_{F(A)},\forall A\in \mathrm{Obj}(\mathcal{C})$.

$F$ 是 忠实的 (相应地, 完满的) 当 ${\mathrm{Hom}}_{\mathcal{C}}(A,B)\to {\mathrm{Hom}}_{\mathcal{D}}(F(A),F(B))$ 是单射 (相应地, 满射) $\forall A,B\in \mathrm{Obj}(\mathcal{C})$. $F$ 是满忠实的当 $F$ 既是忠实又是完满的.

例子 1.14. 恒等函子 $1_{\mathcal{C}}:\mathcal{C}\to \mathcal{C}$ 映射$$1_{\mathcal{C}}(A)=A,1_{\mathcal{C}}(f)=f$$对任意对象 $A$ 和态射 $f$.

例子 1.15. 对 $\forall X\in \mathrm{Obj}(\mathcal{C})$,

$$\begin{array}{c}\begin{array}{rcl}\mathrm{Hom}(X,-):\mathcal{C}& \to & \mathsf{S}\mathsf{e}\mathsf{t},\\ A& \mapsto & \mathrm{Hom}(X,A)\end{array}\end{array}$$定义了一个协变函子并且$$\begin{array}{c}\begin{array}{rcl}\mathrm{Hom}(-,X):\mathcal{C}& \to & \mathsf{S}\mathsf{e}\mathsf{t},\\ A& \mapsto & \mathrm{Hom}(A,X)\end{array}\end{array}$$定义了一个反变函子.

这两种函子叫作由 $X$ 表示.

例子 1.16. 遗忘函子 $\mathsf{G}\mathsf{r}\mathsf{p}\to \mathsf{S}\mathsf{e}\mathsf{t}$ (把一个群映射到它的群元素的集合) 可以用由一个生成元生成的自由群表示, 也就是说对于 $\mathbb{Z}$. 我们有一个集合同构$$G={\mathrm{Hom}}_{\mathsf{G}\mathsf{r}\mathsf{p}}(\mathbb{Z},G).$$

例子 1.17. 令 $G$ 是一个阿贝尔群. 给出拓扑空间 $X\in \mathsf{T}\mathsf{o}\mathsf{p}$, 我们将会研究它的带系数且系数在 $G$ 中的第 $n$ 个上同调 $H^n(X;G)$. 它定义了一个反变函子$$H^n(-;G):h\mathsf{T}\mathsf{o}\mathsf{p}\to \mathsf{S}\mathsf{e}\mathsf{t},X\to H^n(X;G).$$如果我们使用胞腔复形范畴的子范畴, 我们将会看到这个函子在 Eilenberg–Maclane $K(G,n)$ 空间中可表示.

例子 1.18. 我们定义一个反变函子$$\mathrm{Fun}:\mathsf{T}\mathsf{o}\mathsf{p}\to \mathsf{R}\mathsf{i}\mathsf{n}\mathsf{g},X\to \mathrm{Fun}(X)={\mathrm{Hom}}_{\mathsf{T}\mathsf{o}\mathsf{p}}(X,\mathbb{R}).$$$\text{Fun}(X)$ 是 $X$ 上连续的实函数. Gelfand–Kolmogoroff 的一个经典的结果说两个紧 Hausdorff 空间 $X,Y$ 是同胚的 (也就是说在 $\mathsf{T}\mathsf{o}\mathsf{p}$ 中同构) 当且仅当 $\mathrm{Fun}(X)$ 和 $\mathrm{Fun}(Y)$ 是环同构 (也就是说在 $\mathsf{R}\mathsf{i}\mathsf{n}\mathsf{g}$ 中同构).

命题 1.19. 令 $F:\mathcal{C}\to \mathcal{D}$ 是一个函子. 假设 $f:A\to B$ 是一个在 $\mathcal{C}$ 中的同构, 那么 $F(f):F(A)\to F(B)$ 是一个在 $\mathcal{D}$ 中的同构.

证明. 留作练习自证.

$\square$

自然变换

定义 1.20. 令 $\mathcal{C},\mathcal{D}$ 是两个范畴并且 $F,G:\mathcal{C}\to \mathcal{D}$ 是两个函子. A 自然变换 $\tau :F\Rightarrow G$ 由以下态射组成

$$\tau =\{{\tau }_A:F(A)\to G(A)|\forall A\in \mathrm{Obj}(\mathcal{C})\}$$使得对下面任意图 $A,B\in \mathrm{Obj}(\mathcal{C})$ (此处 $f:A\to B$ 如果 $F,G$ 是协变函子, $f:B\to A$ 如果 $F,G$ 是反变的)

$\tau$ 被称作一个自然同构当 ${\tau }_A$ 是一个同构对于任意的 $A\in \mathrm{Obj}(\mathcal{C})$ 并且我们写作 $F\simeq G$.

例子 1.21. 我们考虑以下两个函子$${\mathrm{GL}}_n,(-{)}^{\times }:\mathsf{C}\mathsf{R}\mathsf{i}\mathsf{n}\mathsf{g}\to \mathsf{G}\mathsf{r}\mathsf{p}.$$给出一个交换环 $R\in \mathsf{C}\mathsf{R}\mathsf{i}\mathsf{n}\mathsf{g}$, ${\mathrm{GL}}_n(R)$ 是这个可逆 $n\times n$ 矩阵且矩阵元素在 $R$ 中的群. $R^{\times }$ 是 $R$ 的可逆元的乘法群, 我们可以认为 $(-{)}^{\times }={\mathrm{GL}}_1$.

这个行列式定义了一种自然变换$$\det :{\mathrm{GL}}_n\Rightarrow (-{)}^{\times }$$${\det }_R:{\mathrm{GL}}_n(R)\to R^{\times }$ 是这个矩阵的行列式. 这个 $\det$ 的自然性是源于这样的一个事实, 即这个行列式的公式对于任何的系数环都是相同的. 如此, 我们可以说计算行列式是一种自然的运算.

例子 1.22. 令 $A,B\in \mathcal{C}$ 和 $f:A\to B$. 我们有

•	一个自然变换$$f_{\ast }:\mathrm{Hom}(-,A)\Rightarrow \mathrm{Hom}(-,B)$$关于 (反变) 可表示函子 $\mathrm{Hom}(-,A),\mathrm{Hom}(-,B):\mathcal{C}\to \mathsf{S}\mathsf{e}\mathsf{t}$.
•	一个自然变换$$f^{\ast }:\mathrm{Hom}(B,-)\Rightarrow \mathrm{Hom}(A,-)$$关于 (协变) 可表示函子 $\mathrm{Hom}(A,-),\mathrm{Hom}(B,-):\mathcal{C}\to \mathsf{S}\mathsf{e}\mathsf{t}$.

例子 1.23. 以上两个例子是下面这种结构的特殊情况. 令 $A\in \mathcal{C}$.

•	令 $F:\mathcal{C}\to \mathsf{S}\mathsf{e}\mathsf{t}$ 是一个反变函子. 那么任意 $\phi \in F(A)$ 包含了一个自然变换. $$\mathrm{Hom}(-,A)\Rightarrow F$$通过将 $f\in \mathrm{Hom}(B,A)$ 指定给 $F(f)(\phi )\in F(B)$.
•	令 $G:\mathcal{C}\to \mathsf{S}\mathsf{e}\mathsf{t}$ 成为一个协变函子. 那么任意 $\phi \in G(A)$ 包含了一个自然变换. $$\mathrm{Hom}(A,-)\Rightarrow G$$通过将 $f\in \mathrm{Hom}(A,B)$ 指定给 $G(f)(\phi )\in G(B)$.

定义 1.24. 令 $F,G,H:\mathcal{C}\to \mathcal{D}$ 是函子并且 ${\tau }_1:F\Rightarrow G,{\tau }_2:G\Rightarrow H$ 是两个自然变换. 它们的合成 ${\tau }_2\circ {\tau }_1$ 是一个自然变换从 $F$ 到 $H$ 由下面这样定义$$({\tau }_2\circ {\tau }_1{)}_A:F(A)\stackrel{{\tau }_1}{\to }G(A)\stackrel{{\tau }_2}{\to }H(A),\forall A\in \mathrm{Obj}(\mathcal{C}).$$

定义 1.25. 两个范畴 $\mathcal{C},\mathcal{D}$ 叫做同构当 $\exists F:\mathcal{C}\to \mathcal{D},G:\mathcal{D}\to \mathcal{C}$ 使得 $F\circ G=1_{\mathcal{D}},G\circ F=1_{\mathcal{C}}$. 它们被叫做等价当 $\exists F:\mathcal{C}\to \mathcal{D},G:\mathcal{D}\to \mathcal{C}$ 和两个自然同构 $F\circ G\simeq 1_{\mathcal{D}},1_{\mathcal{C}}\simeq G\circ F$. 在这些情况下, 我们说 $F:\mathcal{C}\to \mathcal{D}$ 给出了一种范畴的同构/等价.

在使用过程中, 同构是一个对于绝大部分有趣的函子过于苛刻的条件. 而等价是一个更加现实的, 并且本质上同样好. 以下命题在使用中非常有用.

命题 1.26. 令 $F:\mathcal{C}\to \mathcal{D}$ 是两个等价范畴. 那么 $F$ 是全忠实.

函子范畴

定义 1.27. 令 $\mathcal{C}$ 是小范畴, 并且 $\mathcal{D}$ 是一个范畴. 我们定义函子范畴 $\mathsf{F}\mathsf{u}\mathsf{n}(\mathcal{C},\mathcal{D})$

•	对象: 从 $\mathcal{C}$ 到 $\mathcal{D}$ 的函子$$F:\mathcal{C}\to \mathcal{D}.$$
•	态射: 两个函子之间的自然变换 (这确实是一个集合因为 $\mathcal{C}$ 是小范畴).

下面的 Yoneda 引理扮演了一个重要的角色在范畴论和应用中.

定理 1.28 (Yoneda 引理). 令 $\mathcal{C}$ 是一个范畴并且 $A\in \mathcal{C}$. 写出下面两个范畴$$h^A={\mathrm{Hom}}_{\mathcal{C}}(-,A):\mathcal{C}\to \mathsf{S}\mathsf{e}\mathsf{t},h_A={\mathrm{Hom}}_{\mathcal{C}}(A,-):\mathcal{C}\to \mathsf{S}\mathsf{e}\mathsf{t}.$$

1.	逆变情形: 令 $F:\mathcal{C}\to \mathsf{S}\mathsf{e}\mathsf{t}$ 是一个逆变函子. 那么这里有一个集合之间的同构$${\mathrm{Hom}}_{\mathsf{F}\mathsf{u}\mathsf{n}(\mathcal{C},\mathsf{S}\mathsf{e}\mathsf{t})}\left(h^A,F\right)=F(A).$$这个同构在 $A$ 中具有函子性.
2.	协变情形: 令 $G:\mathcal{C}\to \mathsf{S}\mathsf{e}\mathsf{t}$ 是一个协变函子. 那么这里有一个集合之间的同构$${\mathrm{Hom}}_{\mathsf{F}\mathsf{u}\mathsf{n}(\mathcal{C},\mathsf{S}\mathsf{e}\mathsf{t})}\left(h_A,G\right)=G(A).$$这个同构在 $A$ 中具有函子性.

这个 $A$ 中函子性的确切的定义是我们有 $\mathcal{C}\to \mathsf{S}\mathsf{e}\mathsf{t}$ 这个函子的自然同构. $${\mathrm{Hom}}_{\mathsf{F}\mathsf{u}\mathsf{n}(\mathcal{C},\mathsf{S}\mathsf{e}\mathsf{t})}\left(h^{(-)},F\right)\simeq F(-),{\mathrm{Hom}}_{\mathsf{F}\mathsf{u}\mathsf{n}(\mathcal{C},\mathsf{S}\mathsf{e}\mathsf{t})}\left(h_{(-)},G\right)\simeq G(-).$$上面 Yoneda 引理中所要求的同构就是例 1.23 中描述的那些映射.

一个重要的结果就是我们已经有同构$${\mathrm{Hom}}_{\mathsf{F}\mathsf{u}\mathsf{n}(\mathcal{C},\mathsf{S}\mathsf{e}\mathsf{t})}\left(h_A,h_B\right)={\mathrm{Hom}}_{\mathcal{C}}(A,B),\forall A,B\in \mathcal{C}$$这两个在 $A$ 和 $B$ 中都具有函子性. 这产生了一个全忠实函子. $$h_{(-)}:\mathcal{C}\to \mathsf{F}\mathsf{u}\mathsf{n}(\mathcal{C},\mathsf{S}\mathsf{e}\mathsf{t}).$$

对偶

范畴论中的许多概念和陈述都有对偶的描述. 这种对偶性值得关注. 粗略地说, 范畴的对偶理论上说是反转所有态射箭头的结果, 将每个对域的引用更改为对目标的引用 (反之亦然) , 并反转合成顺序.

例如, 令 $\mathcal{C}$ 是一个范畴. 我们能够定义它的对偶范畴 ${\mathcal{C}}^{\text{op}}$ 为

•	$\mathrm{Obj}({\mathcal{C}}^{\text{op}})=\mathrm{Obj}(\mathcal{C})$;
•	$f:A\to B$ 是一个在 ${\mathcal{C}}^{\text{op}}$ 中的态射当且仅当 $f:B\to A$ 是一个 $\mathcal{C}$ 在中的态射;
•	这两个态射的合成 $g\circ f$ in ${\mathcal{C}}^{\text{op}}$ 和在 $\mathcal{C}$ 中 $f\circ g$ 的合成一样.

在 $F:\mathcal{C}\to \mathcal{D}$ 下的反变函子和 $F:{\mathcal{C}}^{\text{op}}\to \mathcal{D}$ 下的协变函子是相同的. 有着这样的帮助, 我们可以完全使用协变函子或反变函子. 例如, 如果我们考虑对偶范畴, Yoneda 引理中的两个语句实际上是相同的.

另一个问题, 我们将会经常的考虑提升问题通过找出一个映射 $F:X\to E$ 使得下面这个图是交换的.

这个的对偶问题就是扩张问题通过找到一个映射 $G$ 使得这个对偶图是交换的.

伴随函子

令 $\mathcal{C}$, $\mathcal{D}$ 为两个范畴, 令 $L:\mathcal{C}\to \mathcal{D},R:\mathcal{D}\to \mathcal{C}$ 为两个 (协变) 函子. 以下规则$$(A,B)\to {\mathrm{Hom}}_{\mathcal{D}}(L(A),B),(A,B)\to {\mathrm{Hom}}_{\mathcal{C}}(A,R(B)),A\in \mathrm{Obj}(\mathcal{C}),B\in \mathrm{Obj}(\mathcal{D})$$定义了两个函子$${\mathrm{Hom}}_{\mathcal{D}}(L(-),-),{\mathrm{Hom}}_{\mathcal{C}}(-,R(-)):{\mathcal{C}}^{\text{op}}\times \mathcal{D}\to \mathsf{S}\mathsf{e}\mathsf{t}.$$我们称 $L$ 和 $R$ 互为伴随函子 (更准确的说, $L$ 是左伴随函子, $R$ 是右伴随函子), 如果存在以下的自然同构$$\tau :{\mathrm{Hom}}_{\mathcal{D}}(L(-),-)\simeq {\mathrm{Hom}}_{{\mathcal{C}}^{}}(-,R(-));$$这就是说, 对每个 $A\in \mathrm{Obj}(\mathcal{C}),B\in \mathrm{Obj}(\mathcal{D})$, 我们有一个集合同构$${\tau }_{A,B}:{\mathrm{Hom}}_{\mathcal{D}}(L(A),B)={\mathrm{Hom}}_{\mathcal{C}}(A,R(B))$$并且这个集合同构对 $A$ 和 $B$ 都是函子性的. 我们有时将伴随函子写成

例子 1.29 (自由函子 vs 遗忘函子). 令 $X$ 为一个集合, $F(X)=\underset{x\in X}{⨁}\mathbb{Z}$ 为 $X$ 生成的自由阿贝尔群. 这定义了一个函子$$\text{Free}:\mathsf{S}\mathsf{e}\mathsf{t}\to \mathsf{A}\mathsf{b},X\to F(X).$$“忘掉群结构” 这一操作定义了另一个函子 (这个函子常常被称为遗忘函子)$$\text{Forget}:\mathsf{A}\mathsf{b}\to \mathsf{S}\mathsf{e}\mathsf{t},A\to A.$$这两个函子互为伴随函子事实上, 数学里面很多 " 自由构造 " 都是某些遗忘函子的左伴随函子.

命题 1.30. 令为一对伴随函子. 则存在自然变换$$1_{\mathcal{C}}\Rightarrow R\circ L,L\circ R\Rightarrow 1_{\mathcal{D}}.$$

证明. 对 $A\in \mathcal{C}$, 我们要找的态射 $A\to RL(A)$ 在伴随下对应于单位态射 $1_{L(A)}:L(A)\to L(A)$. 用类似方法可以构造 $L\circ R\Rightarrow 1_{\mathcal{D}}$ .

$\square$

$1_{\mathcal{C}}\Rightarrow R\circ L$ 被称作伴随的单位. $L\circ R\Rightarrow 1_{\mathcal{D}}$ 被称作伴随的余单位.

(...)

术语翻译

对象 • 英文 object

态射 • 英文 morphism

乘积 • 英文 product

商范畴 • 英文 quotient category

同伦 • 英文 homotopy

同伦型 • 英文 homotopy type

同伦等价 • 英文 homotopy equivalence