Algebra:Chapter 0 - 4. Morphisms

4. Morphisms

在$\mathsf{S}\mathsf{e}\mathsf{t}$中我们关注了某些函数（injective，surjective，bijective），在任意一个范畴上对态射做同样的事情很有意义。读者应该注意到对元素的动作定义的态射并不是一个一般性的设置，因为一个任意的范畴的对象不一定有元素。

这就是为什么我们要分析injectivity的原因。

4.1. Isomorphisms.

令$\mathsf{C}$是一个范畴。

Define 4.1. 一个态射$f\in \mathrm{H}\mathrm{o}\mathrm{m}(A,B)$是同构的（$isomorphism$），如果它在复合下有一个逆：也就是如果$\exists g\in (Hom{)}_{\mathsf{C}}(B,A)$，使得$$gf=1_A,fg=1_B$$在这个定义中并没有说明确说明$g$的唯一性，但是它的属性能保证它的唯一性，但是需要验证。

Proposition 4.2. 同构的逆是唯一的。

Proof. 我们需要验证如果$g_1$和$g_2$从$B\to A$都是给定态射$f:A\to B$的逆，那么$g_1=g_2$。

Proposition 4.3.

• 每个恒等态射$1_A$都是一个isomorphism，并且它们的逆是自己。
• 如果$f$是一个isomorphism，那么$f^{-1}$是一个isomorphism，并且$(f^{-1}{)}^{-1}=f$。
• 如果$f\in {\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(A,B)$，$g\in {\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(B,C)$都是isomorphism，那么复合$gf$也是一个isomorphism，并且$(gf{)}^{-1}=f^{-1}{g}^{-1}$。

Proof.

Example 4.4. 当然，在范畴$\mathsf{S}\mathsf{e}\mathsf{t}$中的isomorphism是bijections。

Example 4.5. 在Proposition 4.3提到过，恒等态射是isomorphisms。它们可能是范畴中唯一的isomorphism：比如，从$\mathbb{Z}$上的$\le$关系而来的范畴$\mathsf{C}$就是这样的。对于范畴$\mathsf{C}$中的对象$a,b$（即$a,b\in \mathbb{Z}$），有一个态射$f:a\to b$和态射$g:b\to a$，当且仅当$a\le b$以及$b\le a$时同时存在，也就是$a=b$。所以在范畴$\mathsf{C}$上的一个isomorphism就是对象$a$到自己；而且在范畴$\mathsf{C}$中唯一存在这样一个态射，就是$1_a$。

Example 4.6. 另一方面，有些范畴的每个态射都是isomorphism；这些范畴被称为$groupoids$。读者已经知道了很多groupoids的例子了。

范畴$\mathsf{C}$中的一个对象$A$的$automorphism$是一个从$A$到自身的isomorphism。$A$的automorphisms的集合记作${\mathrm{A}\mathrm{u}\mathrm{t}}_{\mathsf{C}}(A)$；它是${\mathrm{E}\mathrm{n}\mathrm{d}}_{\mathsf{C}}(A)$的子集。在${\mathrm{A}\mathrm{u}\mathrm{t}}_{\mathsf{C}}(A)$上的复合是一个值得注意的结构：

• ${\mathrm{A}\mathrm{u}\mathrm{t}}_{\mathsf{C}}(A)$中的两个元素$f,g$的复合$gf\in {\mathrm{A}\mathrm{u}\mathrm{t}}_{\mathsf{C}}(A)$；
• 复合具有结合性；
• ${\mathrm{A}\mathrm{u}\mathrm{t}}_{\mathsf{C}}(A)$包含元素$1_A$，它对于复合来说是恒的，即$f{1}_A=1_{A}f=f$；
• 每个元素$f\in {\mathrm{A}\mathrm{u}\mathrm{t}}_{\mathsf{C}}(A)$都有一个逆$f^{-1}\in {\mathrm{A}\mathrm{u}\mathrm{t}}_{\mathsf{C}}(A)$。

换句话说，对于所有的范畴$\mathsf{C}$中所有的对象$A$来说，${\mathrm{A}\mathrm{u}\mathrm{t}}_{\mathsf{C}}(A)$是一个群（$group$）。

4.2. 态射和泛射

正如上面指出的，我们并没有选择对任意的一个范畴来定义态射，比如像集合-函数那样的“injective”：这种定义需要“元素”记号，一般而言，一个范畴中的对象没有这种记号。但是在任意范畴中，我们都可以定义$monomorphisms$。

Definition 4.7. 令$\mathsf{C}$为一个范畴。态射$f\in {\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(A,B)$是一个单态，如果它满足下面条件：$$对于所有的范畴\mathsf{C}中的对象Z，以及所有的态射{\alpha }^{\prime },{\alpha }^{\prime \prime }\in {\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(Z,A),$$$$f\circ {\alpha }^{\prime }=f\circ {\alpha }^{\prime \prime }⟹{\alpha }^{\prime }={\alpha }^{\prime \prime }$$泛射也可以类似的定义：$$对于所有的范畴\mathsf{C}中的对象Z，以及所有的态射{\beta }^{\prime },{\beta }^{\prime \prime }\in {\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(Z,A),$$$${\beta }^{\prime }\circ f={\beta }^{\prime \prime }\circ f⟹{\beta }^{\prime }={\beta }^{\prime \prime }$$

Example 4.9. 就像证明Proposition 2.3那样，在范畴$\mathsf{S}\mathsf{e}\mathsf{t}$中，monomorphisms就是injective函数。读者应该可以类似检查，在范畴$\mathsf{S}\mathsf{e}\mathsf{t}$中，epimorphisms就是surjective函数。在2.6给出的定义可能看上去counterintuitive，它们就像范畴的对应部分一样。

Example 4.10. 在范畴的例子Example 3.3中，每个态射既是monomorphism又是一个epimorphism。确实，回忆一下在些范畴中在任意两个对象之间最多有一个态射，因此这些条件定义了monomorphisms和epimorphisms是空洞的。

思考一下Example 4.10 会揭示出一些在这些定义中没有预料到的情况，它们违背了我们对集合论的直觉。例如子范畴$\mathsf{S}\mathsf{e}\mathsf{t}$中，一个函数是isomorphism，当且仅当它是injective和surjective，因此当切仅当它是一个monomorphism和一个epimorphism。但是在范畴中通过在$\mathbb{Z}$上定义$\le$，每个态射既是monomorphism又是epimorphism，但是唯一的isomorphism是恒等（Example 4.5）。因此这个属性是范畴$\mathsf{S}\mathsf{e}\mathsf{t}$中的一个特例，我们不应该觉得每个范畴都有这个属性；比如它在$rings$的范畴$\mathsf{R}\mathsf{i}\mathsf{n}\mathsf{g}$就不具有这个性质。它在每个$abeliancategory$中具有这个属性，而范畴$\mathsf{S}\mathsf{e}\mathsf{t}$不是一个阿贝尔范畴。

类似的，范畴$\mathsf{S}\mathsf{e}\mathsf{t}$中，一个函数是epimorphism，说的是surjective当且仅当它有右逆时；在大多数情况下这个条件并不满足，即使在一些有名的范畴中，比如群的范畴$\mathsf{G}\mathsf{r}\mathsf{p}$。

练习

这水平做不了练习啊。

单词

• isomorphisms: 同构;同形;同型性;同形反应;同型论
• epimorphisms: 泛射
• monomorphisms: 单态
• vacuous: 空洞的;空洞无物的
• twist: 转动;旋转;搓;捻;拧;扭动;(故事或情况的)转折，转变，突然变化;急转弯处;曲折处
• defy: 违抗;反抗;蔑视;不可能，无法(相信、解释、描绘等);经受住;顶住;抗住