Algebra:Chapter0 - 3.1. Definition.

3.1. Definition.

范畴的定义一开始看上去有点复杂，但是它的要点可以很快归纳：范畴包括了一些对象的集合（collection）以及这些对象之间的态射（morphisms），同时满足一些条件。

读者会注意到我避免写“a set of objects”，而是用了更一般的collection。对象的collection因为包含太广，导致构不成一个集合（set）。但是也有办法处理它，只要用去个名字叫$class$就行了。存在所有sets的class（同时也会有classes来处理groups和rings等）。

另一个定义的足够大的集合（被称作universe），满足从这个gigantic entity取出所有classes的所有objects。

不管怎么样，所有读者都应该直到有方法使它有效。我们将会在定义中使用术语“class”，这并不影响本书中的其他任何证明或者定义。

更多的是，在某些例子中在class之下考虑的是集合（我们说在这情况下category是small的），因此读者不会觉得有什么拘束。

定义 3.1. 一个范畴$\mathsf{C}$包含了

• 范畴中的对象的class $\mathrm{O}\mathrm{b}\mathrm{j}(\mathsf{C})$
• 对于$\mathsf{C}$中的任意两个对象$A$和$B$，都包含一个态射（morphisms）的集合${\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(A,B)$，这个集合包含了若干属性。

定义很简单嘛！！！
希望我待会儿不要哭。

需要记在心中的一个prototype是，将这些对象当作一个集合，而态射看作函数。这样的类比可以将态射的定义变得自然，而且容易记忆：

• 对于$\mathsf{C}$中的每个对象，至少存在一个态射$1_A$$\in {\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(A,A)$，即在$A$上的对等。
• 可以对态射进行复合：两个态射$f\in {\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(A,B)$和$g\in {\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(B,C)$可以确定一个态射$gf\in {\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(A,C)$。就是说，对任意$\mathsf{C}$中的三个对象$A,B,C$，都存在一个函数$${\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(A,B)\times {\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(B,C)\to {\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(A,C)$$而$(f,g)$的有序对记作$gf$。
• 复合具有结合性（associative）：如果$f\in {\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(A,B)$，$g\in {\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(B,C)$，$h\in {\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(C,D)$，那么有$$(hg)f=h(gf)$$
• 对等态射复合后还是对等的：对于所有的$f\in {\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(A,B)$都有$$f{1}_A=f,1_{B}f=f$$
  这确实有点拗口，但是只要对比集合间的函数就可以理解了。还有我们要求$${\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(A,B),{\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(C,D)$$是不相交的（disjoint），除非$A=C,B=D$；这和你平常想的不太一样，但是这对于普通的集合-函数也适用。它说的是，如果两个函数是同一个而且相同，那么它们必须要有相同的source和相同的target：source和target都是集合-函数数据的一部分。

在范畴$\mathsf{C}$中的对象$A$到自身的态射（morphism）称为$endomorphism$；${\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(A,A)$记作${\mathrm{E}\mathrm{n}\mathrm{d}}_{\mathsf{C}}(A)$。在范畴公理告诉我们这是一个“pointed”集合，因为$1_A\in {\mathrm{E}\mathrm{n}\mathrm{d}}_{\mathsf{C}}(A)$中。读者应该注意复合定义了${\mathrm{E}\mathrm{n}\mathrm{d}}_{\mathsf{C}}(A)$上的一个操作：如果$f,g$是${\mathrm{E}\mathrm{n}\mathrm{d}}_{\mathsf{C}}(A)$中的元素，那么它们的复合$gf$也是。

如果一直写“$f\in {\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(A,B)$”会变得很枯燥。如果范畴在上下文中是已知的，那么我们可以将下标$\mathsf{C}$给去掉，或者就用箭头表示就像在集合-函数中的那样：$f:A\to B$。这让我们可以描绘任意一个范畴中的态射图像；如果一个图所有遍历它的方法都得到同样的结果，那么这个图是“commute”（commutative）的。

commute这个概念有点懵逼，没看到是可交换的呀

单词

• gist: 要点;主旨;大意
• morphisms: 态射；形态主义
• refrained from: 克制; 节制; 避免;
• mouthful: 一口，一满口(的量);又长又拗口的词(或短语)
• commutative: 交换的(排列次序不影响结果)