Algebra:Chapter0 - 5. Universal properties

Universal properties

第三节的抽象例子让读者留下了印象，可以从同一个基本的想法产生大量的minute variations，并不用breaking any new ground。这个可能很有趣，但是为什么我们要探索这个territory呢？

范畴提供了丰富的统一语言，对于代数中的构造和其他领域中给了我们一双鹰眼。在这个课程中，在持续出现满足universal properties的构造时显得愈发清晰。例如，我们将会看到积和不相交的并可以通过某些universal properties刻画，和范畴${\mathsf{C}}_{A,B}$以及${\mathsf{C}}^{A,B}$相关。

在本课程中介绍的很多概念都有一个显式的描述（ 例如积的定义）以及伴随着universal property的描述。这个显式的描述在具体的计算和证明中十分有用，但是作为一个规则，它是一个universal property，来说明构造的正确性。在某些例子中（比如不相交的并），显式的描述会依赖看上去的任意选择，然而universal property并没有元素的任意性。实际上，从它相关的universal property来看为什么只能把它定义为“up to isomophism”（之多是isomorphism）。

同样，深层次的关系变得清楚了，当用universal property来看待这些构造的时候。例如，我们将会看到集合的积以及不相交的并实际上是镜像的构造（翻转箭头将universal property从一个变成了另一个）。

5.1. Initial and final objects.

Definition 5.1. 令$\mathsf{C}$是一个范畴。我们说对于范畴的中对象$I$是初始的（$initial$），如果对于$\mathsf{C}$中的每个对象$A$，范畴$\mathsf{C}$中只存在一个态射$I\to A$：$$\forall A\in \mathrm{O}\mathrm{b}\mathrm{j}(\mathsf{C}):{\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(I,A)是单集$$

我们说范畴$\mathsf{C}$中的一个对象是最终的（$final$），如果对于范畴$\mathsf{C}$中的每个对象$A$存在唯一的态射$A\to F$：$$\forall A\in \mathrm{O}\mathrm{b}\mathrm{j}(\mathsf{C}):{\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathsf{C}}(A,F)是单集$$

有人可能会用$terminal$，但是一般我们会建议读者显式地说明范畴$\mathsf{C}$的“end”是什么。

范畴中不一定有initial或者final对象，下面这个例子将会说明这一点。

Example 5.2. 通过对$\mathbb{Z}$赋予关系$\le$得到的范畴就没有初始或者最终对象。实际上，在这个范畴中的初始对象必须满足一个整数$i$，$i\le a$对于所有的整数$a$都必须成立；但是不存在这样的整数。类似的，一个最终对象将会是一个整数$f$使得对于每个整数$a$，都有$a\le f$。

相比而言，在Example 3.6中的例子就有final对象，即有序对$(3,3)$；但是这个范畴还是没有初始对象。

同样的，初始对象和最终对象，当它们存在时，可能是唯一的，也可能不是唯一的。

Example 5.3. 在范畴$\mathsf{S}\mathsf{e}\mathsf{t}$中，空集$\varnothing$是一个初始对象（“empty graph”定义了唯一一个从$\varnothing$到任意对象的函数），很明显，它是唯一一个符合这些要求的（Exercise 5.2）。

$\mathsf{S}\mathsf{e}\mathsf{t}$同样还有final对象：对于每个集合$A$，有一个唯一从$A$到单集 { p } \{p\} {p}的函数（就是常函数）。每个单集都是$\mathsf{S}\mathsf{e}\mathsf{t}$中的final对象；因此，final对象在这个范畴中并不是唯一的。

然而，如果initial/final对象存在的话，我们可以证明它们在唯一的isomorphism上是唯一的。我们将会经常使用这个，所以这里会正式提出并立即证明：

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

• 如果$I_1$，$I_2$都是范畴$\mathsf{C}$中的初始对象，那么$I_1\cong I_2$。
• 如果$F_1$，$F_2$都是范畴$\mathsf{C}$中的初始对象，那么$F_1\cong F_2$。

并且，这些$isomorphisms$可以被唯一确定。

Proof.

先略去。

5.2. Universal properties.

引入“universal properties”最自然的方式需要对函子（“$functors$”）比较熟悉，但是这个概念我们要到后面才介绍。为了举例，我们将会在大多数书上遇到，下面的“working definition”应该足够了。

我们说一个构造满足$univesalproperty$（或者具有对普遍问题的解），就是当它可以视为范畴的terminal object。这个范畴依赖于上下文，并且通常词来解释。

在特别简单的例子中，$\varnothing$对于映射到集合的属性是普遍的；这等同于说$\varnothing$是范畴$\mathsf{S}\mathsf{e}\mathsf{t}$的初始对象。

大多数情况下，都比较复杂。由于初始和最终等同于某个态射的存在性和唯一性，普遍性质的解释会遵循某种模式，“对象$X$对于遵从属性是普遍的：对于任意的$Y$，使得$\dots$，这里存在唯一的态射$Y\to X$使得$\dots$”。

机灵的读者会意识到隐藏了一个附带的范畴定义和$X$是terminal的声明（在这个例子中可能是final的）。如何将这些文字性的东西转化为它们真正的含义很有用。同样，读者应该铭记。

5.3. Quotients.

令$\sim$是定义在集合$A$上的等价关系。让我们来解析下列的断言：
“商$A/\sim$对于将$A$映射到一个集合使得等价关系有相同映像的属性来说是普遍的。”

这个断言的可能含义是什么，它是真的吗？

这个断言讲的是下列函数$$A\stackrel{f}{⟶}Z$$其中$Z$是任意的集合，满足属性$$a^{\prime }\sim a^{\prime \prime }⟹\phi (a^{\prime })=\phi (a^{\prime \prime })$$

这些态射是某个范畴的对象（非常类似于Example 3.7）；为了方便起见，我们将这个对象记作$(\phi ,Z)$。唯一合理的方法定义态射$({\phi }_1,Z_1)\to ({\phi }_2,Z_2)$是一个commutative diagrams。

这个定义和Example 3.7是类似的。那么这个范畴有initial对象吗？

Claim 5.5 将$\pi$记作Example 2.6中定义的“canonical projection”，有序对$(\pi ,A/\sim )$是这个范畴的初始对象。

一旦这个被理解了，就很容易证明上面的断言是对的。

Proof.

要倒回去了。

5.4. Products.

5.5. Coproducts.

Exercise

单词

• endow with: 赋予
• indeed: 强调肯定的陈述或答复;(用于very和形容词或副词之后，强调叙述、描写等)真正地
• suffice：足够
• synonymous: 同义的;等同于…的
• amounts to: 等同;接近