Algebra:Chapter0 - 3.2. Examples.

最新推荐文章于 2020-07-28 17:31:42 发布

tuhoooo

最新推荐文章于 2020-07-28 17:31:42 发布

阅读量313

点赞数

本文链接：https://blog.csdn.net/ea8d1n3/article/details/107614108

版权

3.2. Examples.

读者应该注意到范畴中90%的符号定义都是用来解释态射的性质；态射是范畴中的一个十分重要的部分。然而，心理上很难避免从范畴对象的角度来想范畴：例如，有人可能会想“集合的范畴”。关键在于通常“态射”才是应该考虑的东西：如果一个人在谈论集合，一个人如果说态射而不是集合的函数会意味着什么呢？

Example 3.2

现在可以很清楚的明白集合（作为对象），以及集合上的函数（作为态射），构成了一个范畴；如果不是的，读者应该在这里停下来而不是继续往前看，直到这个断言消除了残存的疑惑。

对于这个重要的范畴并没有统一接受的官方记号。我们将使用“sans-serif”字体来表示范畴；即， $\mathsf{Set}$ 表示集合的范畴。因此

$\mathrm{Obj}(\mathsf{Set})=$ 所有集合的class；
对于 $\in \mathrm{Obj}(\mathsf{Set})$ ，即对于 $A, B$ 两个集合， $\mathrm{Hom}_{\mathsf{Set}}(A,B)=B^{A}$

这里要注意在1.3～1.5节中的操作并不是范畴定义的一部分：这些操作的兴趣在于 $\mathsf{Set}$ 的属性，这些属性其他的属性有，也可能没有。我们过会儿回到这些属性，并更精确地理解它们对于 $\mathsf{Set}$ 意味着什么。

Example 3.3

假设 $S$ 是一个集合，而 $\sim$ 是集合 $S$ 上的一个关系，且满足反身性和传递性。那么我们可以将这些数据编码到范畴中：

$o b j e c t$ ： $S$ 中的元素；
$m o r p h i s m s$ ：如果 $a$ ， $b$ 都是对象（就是如果 $a,b\in S$ ），令 $\mathrm{Hom}(a,b)$ 是包含了元素 $(a,b)\in S\times S$ 的集合，如果 $a\sim b$ ，那么令 $\mathrm{Hom}(a,b)=\empty$ 。

注意（不像在 $\mathsf{Set}$ ），有很少的态射：每个对象的有序对之多只有一个，在不相关的对象之间根本没有态射。

我们必须定义“态射的复合”，并验证3.1节中的条件是否满足。首先我们是否有“对等”？如果 $a$ 是一个对象（ $a\in S$ ），我们需要找到一个元素 $1_{a}\in \mathrm{Hom}(a,a)$ 这就是为什么我们要假定 $\sim$ 是反身性的：这告诉了我们 $\forall a,a\sim a$ ；即 $\mathrm{Hom}(a,a)$ 包含了单个元素 $(a, a)$ 。因此我们没有选择，只能令： $1_{a}=(a,a)\in \mathrm{Hom}(a,a)$ 至于复合，令 $a, b, c$ 为元素（即集合 $S$ 中的元素）并且 $f\in \mathrm{Hom}(a,b),\quad g \in \mathrm{Hom}(b,c);$ 我们必须定义对应的态射 $gf\in \mathrm{Hom}(a,c)$ 。现在， $\in \mathrm{Hom}(a,b)$ 告诉我们 $\mathrm{Hom}(a,b)$ 是非空的，并且根据这个范畴中态射的定义这意味着 $a\sim b$ ，并且 $f$ 是 $A\times B$ 的元素 $(a, b)$ 。类似的， $g\in \mathrm{Hom}(b,c)$ 告诉我们 $b\sim c$ 并且 $g = (b, c)$ ，现在有 $a\sim b\ and\ b\sim c\Longrightarrow a\sim c$ 这是因为我们假定关系 $\sim$ 具有传递性。这告诉我们 $\mathrm{Hom}(a,c)$ 包含了唯一的元素 $(a, c)$ 。因此，我们没有别的选择，只能令 $gf\coloneqq (a,c)\in \mathrm{Hom}(A,C)$ 存在结合性吗？如果 $f\in \mathrm{Hom}(a,b)$ ， $g\in \mathrm{Hom}(b,c)$ ，并且 $h\in \mathrm{Hom}(c,d)$ ，那么 $f=(a,b),\quad g=(b,c),\quad h=(c,d)$ 因此 $h (g f) = (a, d) = (h g) f$ 所以具有结合性。

读者检查 $1_{a}$ 应该没有啥困难，关于这个复合它是一个恒等的。

最简单的构造范畴的例子是带有等价关系“ $=$ "的集合 $S$ ；唯一的态射就是恒等态射。这样的范畴称为离散的（ $d i s c r e t e$ ）。

另一个例子是，考虑带有关系 $\leq$ 的endowing $\mathbb{Z}$ 。例如：

小于等于关系

还不会用latex画这种图

是这个范畴中的一个commutative diagram。

这些范畴都非常的特殊——比如，每个图都是commutative，这和 $\mathsf{Set}$ 差别很大。我们将这些范畴都是 $s m a l l$ 的。

Example 3.4.

这里还有另外一个小范畴的例子。令 $S$ 是一个集合。 $\hat{\mathsf{S}}$ 的定义如下：

$\mathrm{Obj}(\hat{\mathsf{S}})=\mathscr{P}(S)$ ，即 $S$ 的幂集；
对于 $\hat{\mathsf{S}}$ 中的两个对象 $A$ 和 $B$ （即 $A\subseteq S$ 并且 $B\subseteq S$ ）令 $\mathrm{Hom}_{\hat{\mathsf{S}}}(A,B)$ 是有序对 $(A, B)$ ，否则 $\mathrm{Hom}_{\hat{\mathsf{S}}}(A,B)=\empty$ 。

恒等 $1_{A}$ 包含了有序对 $(A, A)$ （这是一个而且也是唯一的一个 $A$ 到 $A$ 的态射，因为 $A\subseteq A$ ）。复合也很好理解。这种风格的例子（除了更复杂的结构，比如拓扑空间中开集的族）在某些领域中非常重要，比如代数几何。

Example 3.5.

下一个例子非常抽象，但是它会让我们已经接触到的东西感到非常舒服；它是一个非常常见的结构。

令 $\mathsf{C}$ 是一个范畴，令 $A$ 是范畴 $\mathsf{C}$ 中的一个对象。我们将定一个范畴 $\mathsf{C}_{A}$ ，它的对象是范畴 $\mathsf{C}$ 中的某些态射，而它的态射则是范畴 $\mathsf{C}$ 中的某些图（ $d i a g r a m s$ ）。

这是什么操作？？？

$\mathrm{Obj}(\mathsf{C}_{A})=$ 范畴 $\mathsf{C}$ 中任意对象到 $A$ 的所有态射；就是 $\mathsf{C}_{A}$ 中的对象是一个态射 $f\in \mathrm{Hom}_{\mathsf{C}}(Z,A)$ 对于 $\mathsf{C}$ 中的某个对象 $Z$ 。用图来表示的话就是， $\mathsf{C}_{A}$ 的对象就是一个箭头 $\xrightarrow{f} A$ ；这个图通常是从上往下来表示：

那么 $\mathsf{C}_{A}$ 中的态射又是什么呢？

令 $f_{1}$ ， $f_{2}$ 为 $mathsf{C}_{A}$ 中的对象，那么有
在这里插入图片描述
态射 $f_{1}\rightarrow f_{2}$ 被定义为 $commutative\ diagrams$

在这里插入图片描述
态射 $f\rightarrow g$ 精确地对应到在范畴 $\mathsf{C}$ 中的态射 $\sigma:Z_{1}\rightarrow Z_{2}$ ，使得 $f_{1}=f_{2}\sigma$ 。

一旦你理解了态射是什么，可以检查它们是否满足公理中的条件。恒等继承于 $\mathsf{C}$ 中的恒等态射：对于 $\mathsf{C}_{A}$ 中的对象 $f:Z\rightarrow\ A$ ， $1_{f}$ 对应于对应于 $\mathsf{C}$ 中的commutes。
在这里插入图片描述
复合操作同样是 $\mathsf{C}$ 中的副产物。两个态射 $f_{1}\rightarrow f_{2} \rightarrow f_{3}$ 对应于：

去掉了中心的箭头可以得到：

同样还可以检查 $mathsf{C}_{A}$ 中的复合是具有结合性的。

用这种方法构造的称为 $slice\ categories$ ，它们是 $comma\ categories$ 的特例。

Example 3.6.

让我们将Example 3.5中的范畴构造方法应用于Example 3.3中的范畴，对于 $S=\mathbb{Z}$ 并且 $\sim$ 为关系 $\leq$ 。令 $\mathsf{C}$ 为这个范畴，然后从 $\mathsf{C}$ 中选择一个对象 $A$ ，也就是选出一个整数 $A$ ，例如 $A = 3$ 。那么 $\mathsf{C}_{A}$ 中的对象就是 $\mathsf{C}$ 中目标为3的态射，也就是有序对 $(n,3)\in \mathbb{Z}\times\mathbb{Z}$ ，其中 $n\leq 3$ 。然后就有态射 $(m,3)\rightarrow (n,3)$ 当且仅当 $m\leq n$ 。在这个例子中 $\mathsf{C}_{A}$ 可以对等于“子范畴” $\leq 3$ 的整数，和 $\mathsf{C}$ 有相同的态射。

Example 3.7.

一个完全和Example 3.5中相似的例子是考虑从范畴 $\mathsf{C}$ 中的固定目标 $A$ 到所有对象的态射，然后新的态射还是合适的commutative diagrams。这样的话就构造了 $coslice\ categories$ 。读者应该提供这些构造的细节。

Example 3.8.

作为Example 3.7中的一个具体例子，令 $\mathsf{C}=\mathsf{Set}$ 并且 $A = a$ 是一个固定的单元素集合 $\{*\}$ 。将构造的范畴称为 $\mathsf{Set}^{*}$ 。

那么在范畴 $\mathsf{Set}^{*}$ 中的一个对象就是在范畴 $\mathsf{Set}$ 中的 $\{*\}\rightarrow S$ ，其中 $S$ 是任意集合。而在范畴 $\mathsf{Set}^{*}$ 中的对象则是一个非空集合 $S$ 和一个元素 $s\in S$ 就是 $f (*)$ 。我们可以将范畴 $\mathsf{Set}^{*}$ 中的对象记作有序对 $(S, s)$ ，其中 $S$ 是任意一个集合，而 $s\in S$ 是 $S$ 中的任意一个元素。

在这两个对象之间的态射 $(S,s)\rightarrow (T,t)$ ，就对应了一个集合-函数 $\sigma:S\rightarrow T$ ，使得 $\sigma(s)=t$ 。

范畴 $KaTeX parse error: Expected 'EOF', got '&' at position 13: \mathsf{Set}&̲=^{*}$ 中的对象称为“pointed sets”，我们在这本书中研究的很多结构都是pointed sets。例如群（group）是一个集合 $G$ ，有唯一的元素 $e_{G}$ ，以及“group homomorphisms”作为函数。

多补充一些像 Example 3.5和Example 3.7类似的抽象例子很有好处。

这次我们从一个给定的范畴 $\mathsf{C}$ 和 $\mathsf{C}$ 中的两个对象 $A$ ， $B$ 开始。我们可以定义一个新的范畴 $\mathsf{C}_{A,B}$ ，就像我们在定义 $\mathsf{C}_{A}$ 中用到的那样：

$\mathrm{Obj}(\mathsf{C}_{A,B})=\mathsf{C}中的图$
在这里插入图片描述
而态射则是从图到图：

commutative diagrams则是

我们将正规化这些粗糙的描述任务交给读者。这个例子只是 $\mathsf{C}_{A}$ 和 $\mathsf{C}_{B}$ 的混合，这两个结构因为相同的 $\sigma$ 而交互起来： $f_{1}=f_{2}\sigma\quad and \quad g_{1}=g_{2}\sigma$ 翻转大部分的箭头可以得到Example 3.7的变体，生成了新的范畴 $\mathsf{C}^{A,B}$ 。

Example 3.10.

作为这些例子的最后一个变体，我们来考虑 $\mathsf{C}_{A,B}$ 和 $\mathsf{C}^{A,B}$ 的 $f i b e r$ 版本。可以用这个测试你是否真正理解了 $\mathsf{C}_{A,B}$ ，专家会告诉你这个对于学生看上去相当复杂，所以如果一开始不是那么顺利不要灰心。从一个给定的范畴 $mathsf{C}$ 开始，这次从范畴 $\mathsf{C}$ 中选择两个固定的态射 $\alpha:A\rightarrow C$ ， $\beta:B\rightarrow C$ ，我们可以考虑范畴 $\mathsf{C}_{\alpha,\beta}$ ：

$\mathrm{Obj}(\mathsf{C}_{\alpha,\beta})=commutative\ diagrams$
在这里插入图片描述
这个是在范畴 $\mathsf{C}$ 中。

对应于commutative diagrams的态射则是
在这里插入图片描述
如果对于Example 3.9理解很透彻，那么这个例子看上去就tame。同样的可以构造镜像例子 $\mathsf{C}^{\alpha,\beta}$ ，从有相同source的两个态射开始： $\alpha:C\rightarrow A$ ， $\beta:C\rightarrow B$ 。