范畴论笔记

现在的是重写的版本, 但在某种意义上更接近于翻译Category Theory (Steve Awodey) 而非笔记了.

翻译术语讨论

翻译这样一本关于范畴论的书籍, 不论如何在术语方面都值得斟酌再三, 我将我的一些选择写在这里.

对于collection, 在某种意义上它其实就是集合论里的class, 只不过在使用时作者又不想太过形式化而已. 也就是说, collection可能指的是set, 也可能指的是proper class. 我有意将collection翻译成了合集, 许多书籍将其同set一样也翻译为集合, 这不免有时给读者带来疑惑. 当然, 在本书的第一章, 作者Steve Awodey是有意避免一开始就变得technical的, 所以熟悉数学基础和集合论的读者对于开头一些成问题的表述也不要感到惊讶, 然而作者还是不免在第一章的最后讨论了一些数学基础方面的事情, 这完全是必要的也无法省略的内容.

英文里某些简单表达在中文里没有那么一致的对应, 我有点倾向于机械化翻译, 以使读者能够辨识出来. 当然了, 不机械化的翻译也有很多. 首先是either...or..., 虽然我将其翻译为了要么..., 要么..., 但是这并不意味着这二者只居其一, 实际上就是或者的意思. 其次是in particular, ..., 它的实际用法相当于接下来要举一个符合情况的但是具体且特殊的例子, 我以前总是将其翻译为特别地, ..., 但是并不通顺, 而且也不容易理解. 现在有时我也会意译, 例如将其翻译为举一个例子, ....

underlying set是容易理解的, 大概就是某个结构或者范畴的集合部分, 或者说遗忘了结构而剩下的集合. 不过, 我觉得并不容易翻译妥当, 最终我选择翻译为潜在集, 我想这不至于引起什么误解. 类似地, 一个结构化集合之间的同态, 在遗忘了结构之后, 可以成为一个潜在函数.

前言

当我们已经有了Mac Lane的Categories for the Working Mathematician, 为什么还要写一本新的范畴论教科书呢? 简而言之, 因为Mac Lane的书是为工作的数学家准备的. 在范畴论渗透进各种各样的领域并出现在课程里30年之后, 现在需要的是一本供所有人阅读的书籍.

这本书成长于我过去十年间在CMU教授的范畴论课程. 在这段时间里, 我已经为计算机科学, 数学, 逻辑学的本科生和研究生教授了无数的讲座课程或者高级讨论班. 基于本书材料的讲座课程由15个星期每周两节的90分钟讲座构成. 这些讲座(材料)的胚芽是我自己的研究生笔记, 来源于Mac Lane在芝加哥大学所教授的范畴论课程. 在教授我自己的课程时, 我很快发现CMU这里的混合的学生群体和芝加哥大学的数学研究生的需求非常不同, 而我寻找满足这些需求的合适教科书的过程表明现有的文献和学生的需求之间存在严重的沟壑. 我的讲义随着时间逐渐演化以填补这个沟壑, 补充并最终替代了我尝试使用的诸多教材.

我的课程的学生往往没有什么数学背景, 只上过一门离散数学, 以及一些微积分或者线性代数或者是一两门逻辑学课程. 然而, 当学生最终成为计算机科学或者逻辑学的研究者时, 许多人都需要熟悉范畴论的基本概念, 而且是在没有接受许多深入的数学训练的情况下. 数学系的本科生其实也是类似的: 在数学上很有天分, 并且因其与他们之后所需要学习的东西有着明显的联系而备受鼓舞, 尽管如此还是不能跟着Mac Lane的书, 因为他们仍然缺乏必要的数学准备. 我的大多数学生甚至还不知道自由群是什么, 所以说当他们知道这是伴随的一个例子时也不会受到启发.

因此, 这本书意在成为范畴论的教科书和参考, 不仅面向数学系学生, 而且也面向计算机科学, 逻辑学, 语言学, 认知科学, 哲学以及任何需要用到范畴论的领域的研究者和学生. 对于我来说挑战在于能够使得基本定义, 定理, 以及证明技术被这样的读者群体理解, 因此无法假定读者熟悉范畴论在代数学和拓扑学中的主要 (或者说至少是原初的) 应用. 然而这不意味着我会在真空中建立主题, 简单跳过例子和应用. 这种抽象层次的材料在没有应用和例子使之变得鲜活的情况下直接无法理解.

面对这种两难的境地, 我采取了这样的策略. 首先从最开始细致地建立几个基本的例子, 例如偏序集和幺半群, 然后带着这些例子一起, 并在整本书里一直使用它们. 这在教学上有诸多值得提及的优点: 偏序集和幺半群本身就是特殊种类的范畴, 并且在某种意义上代表了一个一般性的范畴所具有的两个维度 (对象和箭头). 诸多范畴里出现的现象当作来源于偏序集或者幺半群的什么东西的泛化来理解是最好的. 从另一个角度来说, 偏序集 (和单调映射) 和幺半群 (和同态) 的范畴提供了两个更进一步的而且又相当不同的范畴的例子, 其可以用来考虑各种各样的概念. 例如, 极限的概念既可以在一个给定的偏序集里考虑, 也可以在偏序集的范畴里考虑.

当然了, 许多偏序集和幺半群之外的其他例子也有处理. 例如, 关于群和范畴的一章建立了群论的最初几步, 直至核, 商群, 以及同态定理, 作为等化子和余等化子的例子. 这里, 以及偶尔别的什么地方 (例如与Stone对偶联系起来), 我有意涵盖了更多的一点数学, 超出了用于刻画手头概念所严格必要的范围. 我的想法在于当一些学生将要参加更加高等的数学课程时, 这些或许是离他们最近的, 因此他们应该能够通过收获一些低垂的果实来从学习范畴论的努力中获益.

尽管所需要的数学预备知识比Mac Lane的书要低得多, (我希望)标准的严格性并没有妥协. 所有重要命题和定理的完整证明都已给出, 只是偶尔常规的引理会留作练习 (然后它们通常被列在一章的最后). 材料的选取是容易的, 存在必须涵盖的标准核心: 范畴, 函子, 自然变换, 等价, 极限和余极限, 函子范畴, 可表, Yoneda引理, 伴随, 以及单子. 这近乎填满了一个课程. 这里所涵盖的唯一算是可选的话题是笛卡尔闭范畴和$\lambda$演算, 但是这对于计算机科学家, 逻辑学家, 语言学家而言又是必要的. 一些显然更加深入的话题被有意地忽略了: 2-范畴, 意象 (topos) (任何深度上), 幺半范畴. 这些话题在Mac Lane中得到处理, 而学生在完整参与这个课程之后应该有能力阅读此书.

第1章 范畴

第1.1节 引论

什么是范畴论? 作为第一次近似, 我们可以说范畴论是对于函数的代数的研究. 正如群论是对于集合的置换或者几何对象的对称变换这一类系统的思想的抽象, 范畴论来源于一些对象之间的函数所构成的系统的理念.

我们将复合$g\circ f$想成是某种函数$f$和$g$的积, 然后考虑由函数的合集所引申出的那种抽象代数. 一个范畴正是这样一种代数, 其由对象$A,B,C,\dots$和箭头$f:A\to B,g:B\to C,\dots$构成, 而且箭头在函数复合之下封闭并满足一些对于函数复合而言十分典型的特定条件. 精确的定义在本章的之后给出.

作为抽象代数的分支, 范畴论的发明遵循着Felix Klein的Erlanger纲领的传统, 作为一种基于数学结构之间的可容许 (admissible) 变换来对于不同数学结构进行研究和刻画的方法. 范畴这种一般性的概念提供了对于保持结构的变换这一想法的刻画, 并由此提供了对于承载这样的变换的一类结构的刻画.

这个学科的历史发展大致如下:

• 1945: Eilenberg和Mac Lane的General theory of natural equivalences是原初的论文, 这是对于范畴论的最早描述.
• 1940年代末: 主要的应用最初是代数拓扑, 特别是同调论和抽象代数.
• 1950年代: A. Grothendieck et al.开始使用范畴论, 在代数几何领域取得了极大的成功.
• 1960年代: F. W. Lawvere和其他人开始应用范畴论于逻辑学, 揭示了一些深刻而令人意外的联系.
• 1970年代: 范畴论的应用已经出现于计算机科学, 语言学, 认知科学, 哲学, 以及其他诸多领域.

关于这个领域的一件非常引人注目的事情在于其有着如此广阔的应用. 事实上, 它就像集合论一样是一种普遍性的数学语言. 由于拥有各种各样的应用, 范畴论往往也能揭示不同领域之间的特定联系——就像逻辑和几何. 举个例子, 伴随函子这一重要概念在逻辑中以存在量化子出现, 在拓扑中则以沿着连续函数取像 (image) 的运算出现. 从范畴的角度而言, 这些本质上是相同的操作.

实际上, 伴随函子应该是读者学习本书时所应该掌握的主要东西之一. 这个纯粹范畴论的概念已经被证明是第一级的概念工具——其重要性可与连续函数的想法比肩.

实际上, 正如拓扑空间的想法起源于其与连续函数的联系, 范畴的概念是为了定义什么是函子而产生的, 至少根据范畴论的发明者之一的说法是这样. 故事还可以继续下去, 函子的概念是为了定义自然变换而产生的. 我们或许还可以继续下去, 自然变换是为了定义伴随而生的:

范畴

函子

自然变换

伴随

诚然如此, 而这给出了本书的大纲.

在正式学习之前, 或许我们应该问问为什么范畴论有着如此广泛而深远的应用. 既然我们说过其实函数的抽象理论, 所以说答案就是:

第1.2节 集合之间的函数

我们从考虑集合之间的函数开始. 我不打算在这里说明什么是函数, 就像我也不会说明什么是集合一样, 转而我们将会默认读者拥有对于这些术语的实际可行的理解. 它们实际上可以使用范畴论来定义, 但是这并非我们在这里的目的.

令$f$是从一个集合$A$到另一个集合$B$的一个函数, 我们记作$$f:A\to B\text{.}$$以显式的语言来说, 这意味着$f$定义在整个的$A$上而$f$的所有值都在$B$之中. 以集合论术语而言, 就是$$\mathrm{range}(f)\subseteq B\text{.}$$现在设我们也有一个函数$g:B\to C$,那么存在着一个作为复合的函数$g\circ f:A\to C$, 由$$\begin{array}{lcr}\phantom{\text{(1.1)}}& (g\circ f)(a)=g(f(a)),a\in A& \text{(1.1)}\end{array}$$给出. 现在这个函数复合的运算$\circ$是结合性的, 在于如果我们还有一个函数$h:C\to D$并构成$h\circ g$和$g\circ f$, 那么我们像以上图表所指示的那样比较$(h\circ g)\circ f$和$h\circ (g\circ f)$. 实际上, 这两个函数总是等同的,$$(h\circ g)\circ f=h\circ (g\circ f)$$因为对于任意的$a\in A$, 我们有$$((h\circ g)\circ f)(a)=h(g(f(a)))=(h\circ (g\circ f))(a)$$这使用了(1.1).

顺便值得一提的是, 两个函数相等的含义: 对于每个参数, 它们有着相同的值.

最后, 注意到每个集合$A$都拥有一个恒等函数$$1_A:A\to A$$其由$$1_A(a)=a$$给出.

这些恒等函数表现为复合运算$\circ$的单位元, 抽象代数意义下的. 也就是说, 对于任意的$f:A\to B$, 我们有$$f\circ 1_A=f=1_B\circ f\text{.}$$

所有这些关于集合之间的函数的性质是我们想要对于函数的抽象概念所考虑的: 复合与恒元. 因此, 可以说现在我们想要抽象掉其他所有东西, 这正是由以下定义所完成的.

第1.3节 范畴的定义

第1.4节 范畴的例子

1. 我们已经遇到过了集合和函数的范畴$\mathbf{Sets}$. 这里也有另一个范畴$${\mathbf{Sets}}_{\mathrm{fin}}$$其由所有的有限集合以及其间函数构成.
   诚然, 还有许多像这样的范畴, 其由限制能够成为对象的集合与能够成为箭头的函数给出. 例如, 取有限集合为对象而单射函数为箭头. 既然单射函数的复合仍是单射函数, 并且恒等函数是单射的, 所以说这也给出了一个范畴.
   如果我们取集合为对象而取满足以下条件的函数$f:A\to B$为箭头: 对于每个$b\in B$, 子集$$f^{-1}(b)\subseteq A$$至多只有两个元素 (而不是一个), 这仍然是一个范畴吗? {译注: 显然不是, 因为这样的函数对于复合运算不封闭.} 若取$f^{-1}(b)$有限的函数呢? 无限的情况呢? 存在着许多这样的由集合与函数构成的限制范畴.
2. 另一种我们经常在数学中见到的例子是结构化集合(structured set)的范畴, 即由带有更进一步结构的集合和保持这结构的函数构成的范畴, 其中这些概念以某种独立的方式确定. 你可能会熟悉的这类例子有
   • 群和群同态;
   • 向量空间和线性映射;
   • 图和图同态;
   • 实数集$ℝ$和连续函数$ℝ\to ℝ$;
   • 开集$U\subseteq ℝ$和定义于其上的连续函数$f:U\to V\subseteq ℝ$;
   • 拓扑空间和连续映射;
   • 可微流形和光滑映射;
   • 自然数集$\mathbb{N}$和所有的递归函数$\mathbb{N}\to \mathbb{N}$, 或者就像连续函数的例子一样, 我们可以取定义于子集$U\subseteq \mathbb{N}$上的部分递归函数;
   • 偏序集和单调函数.
   即便你还不熟悉以上的其中一些例子, 也请不要担心, 暂且让我们仅是更细致地考虑以上的最后一个例子.
3. 一个偏序集 (partially ordered set) 或者说poset是一个装备了一个二元关系$a{\le }_{A}b$的集合$A$, 其对于所有的$a,b,c\in A$满足以下条件:
   • 自反性: $a{\le }_{A}a$;
   • 传递性: 如果$a{\le }_{A}b$且$b{\le }_{A}c$, 那么$a{\le }_{A}c$;
   • 反对称性: 如果$a{\le }_{A}b$且$b{\le }_{A}a$, 那么$a=b$.
   例如, 装备有通常的序关系$a\le b$的实数集$ℝ$构成了一个偏序集, 其也是线性(linearly)序的: 对于任意的$x,y$, 要么$x\le y$, 要么$y\le x$. {译注: 亦可兼而有之, 当且仅当$x=y$时.}
   从一个偏序集$A$到一个偏序集$B$的一个箭头是一个函数$$m:A\to B$$其为单调的(monotone), 意即对于所有的$a,a^{\prime }\in A$, 我们有$$a{\le }_A{a}^{\prime }\text{可以推出}m(a){\le }_{B}m(a^{\prime })\text{.}$$要使得这成为一个范畴需要满足什么条件呢? 我们需要知道$1_A:A\to A$是单调的, 但这是显然的, 因为$a{\le }_A{a}^{\prime }$可以推出$a{\le }_A{a}^{\prime }$. 我们也需要知道, 如果$f:A\to B$和$g:B\to C$是单调的, 那么$g\circ f:A\to C$也是单调的. 这同样成立, 因为$a\le a^{\prime }$可以推出$f(a)\le f(a^{\prime })$可以推出$g(f(a))\le g(f(a^{\prime }))$可以推出$(g\circ f)(a)\le (g\circ f)(a^{\prime })$. 因此, 我们有偏序集和单调函数的范畴$\mathbf{Pos}$.
4. 到目前为止我们已经考虑了的范畴是有时叫做具体范畴(concrete category)的东西的例子. 非形式化地说, 存在着这样的范畴, 其对象是集合, 可能装备有某种结构, 而箭头是特定的函数, 可能保持结构 (我们将在之后看到这个想法并非逻辑一致的; 见评注1.7). 但是, 实际上一种理解范畴论的方式全然在于不用元素 (doing without elements)而代之以箭头. 让我们来看看一些例子, 其中这种观点并不仅是可选的, 而是不可避免的.
   令$\mathbf{Rel}$是以下范畴: 取集合为对象而二元关系为箭头. 也就是说, 一个箭头$f:A\to B$是一个任意的子集$f\subseteq A\times B$. 一个集合$A$上的恒等箭头即是恒等关系,$$1_A=\{(a,a)\in A\times A|a\in A\}\subseteq A\times A\text{.}$$给定$R\subseteq A\times B$和$S\subseteq B\times C$, 我们可以根据$$(a,c)\in S\circ R\text{当且仅当}\exists b.(a,b)\in R\&(b,c)\in S$$定义复合$S\circ R$, 即$R$和$S$的关系积 (relative product). 我们将表明$\mathbf{Rel}$确为一个范畴的工作留作练习. (要做什么呢?)
   要举另外一个箭头并非函数的范畴的例子, 令对象为有限集合$A,B,C$而一个箭头$F:A\to B$是一个由自然数构成的矩阵$F={(n_{i,j})}_{i<a,j<b}$, 其中$a=|A|$而$b=|B|$. 符号$|C|$表示一个集合$C$的元素数目. 箭头的复合无非是通常的矩阵乘法, 而恒等箭头即是通常的单位矩阵. 这里的对象的目的仅是为了保证矩阵乘法有定义, 但是矩阵并非对象之间的函数.
5. 有限范畴
   当然了, 范畴的对象也不必是集合. 以下是一些非常简单的例子:
   • 范畴$\mathbf{1}$模样如下:$$⁎$$其有一个对象和一个该对象的恒等箭头, 恒等箭头我们没有画出来.
   • 范畴$\mathbf{2}$模样如下:$$⁎\stackrel{}{\to }\star$$其有两个对象, 必要的恒等箭头, 以及恰好一个(不同)对象之间的箭头.
   • 范畴$\mathbf{3}$模样如下:其有三个对象, 必要的恒等箭头, 恰好一个从第一个对象到第二个对象的箭头, 恰好一个从第二个对象到第三个对象的箭头, 以及恰好一个从第一个对象到第三个对象的箭头 (因而其为前两个箭头的复合).
   • 范畴$\mathbf{0}$模样如下:$$$$其既没有对象, 也没有箭头.
   和上面一样, 从现在开始绘制范畴时我们都会省略恒等箭头.
   描述有限范畴是容易的——只需要取一些对象并在这些对象之间放置箭头, 但是请务必保证放置了由范畴论的公理所要求的必要的恒等箭头还有复合. 而且, 如果存在任何的环路 (loop) 的话, 那么我们就需要通过等式来截断环路以保持范畴的有限性. 例如, 考虑以下描述:$$A\underset{g}{\overset{f}{\rightleftarrows }}B$$除非我们明确规定诸如$gf=1_A$这样一个等式 {译注: 大概还需要规定$fg=1_B$}, 不然我们就会拥有无穷多的箭头: $gf,gfgf,gfgfgf,\dots$. 当然, 这仍然是一个范畴, 但并非一个有限范畴. 本章之后讨论自由范畴时, 我们还会回到这个(无限的)情况上来.
6. 范畴论的一个重要口号是
   箭头才是真正重要的东西!
   因此, 我们也应该检视范畴之间的箭头或者映射. 范畴的同态被称为函子.

7. 一个预序(preorder)是一个装备了一个满足自反性和传递性的二元关系$p\le q$的集合: $a\le a$, 并且如果$a\le b$且$b\le c$, 那么$a\le c$. 任意的预序$P$都可以被视为一个范畴, 只需要取对象为$P$的元素而两个元素之间唯一可能的箭头是$$\begin{array}{lcr}\phantom{\text{(1.2)}}& a\to b\text{当且仅当}a\le b\text{.}& \text{(1.2)}\end{array}$$$\le$的自反和传递条件保证了这的确是一个范畴.
   从另一个方向上来说, 如果一个范畴满足其任意两个对象之间至多只有一个箭头, 那么其就确定了一个预序, 只需要根据(1.2)来定义一个对象上的二元关系$\le$即可.
8. 一个偏序集显然是一个满足额外的反对称条件的预序: 如果$a\le b$且$b\le a$, 那么$a=b$. 因此, 一个偏序集也是一个范畴. 这样的偏序集范畴(poset category)很是常见; 例如, 对于任意的集合$X$, 幂集$\mathcal{P}(X)$在通常的$X$的子集$U,V$之间的包含关系$U\subseteq V$下是一个偏序集.
   偏序集范畴$P$和$Q$之间的函子$F:P\to Q$是什么样的呢? 其必须满足恒等律和复合律... 显然, 这些只是之前已经考虑过了的单调函数.
   将一个范畴想成是某种广义偏序集(generalized poset)常常是有用的, 也就是带有比$p\le q$带有更多结构的东西. 因此, 我们也可以将函子想成是某种广义单调映射.
9. 来源于拓扑的一个例子: 令$X$是一个以$\mathcal{O}(X)$为开集族的拓扑空间. 以包含关系排序, $\mathcal{O}(X)$就成了一个偏序集范畴. 而且, $X$的点可以根据特殊化程度(specialization)进行预序化, 通过设置$x\le y$当且仅当对于每个开集$U$, $x\in U$可以推出$y\in U$, 也就是$y$包含于每个包含$x$的开集之中. 如果$X$是充分分离的 ($T_1$), 那么这个序关系是平凡的, 但是其他情况下可能会变得相当有趣, 例如对于代数几何和指称语义的空间而言. 作为练习, 请证明$T_0$空间在此特殊化序下实际上是偏序集. {译注: 特殊化程度可以这么理解, 因为包含$y$的开集比包含$x$的开集更多, 所以$y$比$x$更加特殊.}
10. 来源于逻辑的一个例子: 给定一个逻辑演绎系统, 存在一个与之相关的证明范畴(category of proofs), 其中的对象为公式:$$\phi ,\psi ,\dots$$从$\phi$到$\psi$的一个箭头是一个从(uncanceled)假设$\phi$到$\psi$的推导.$$\frac{\frac{\phi }{⋮}}{\psi }$$箭头的复合即将这样的推导以显然的方式并置, 当然这是结合性的. (恒等箭头$1_{\phi }$应该是什么呢?) 我们观察到可以存在诸多不同的箭头$$p:\phi \to \psi$$因为或许存在着诸多不同的证明. 这种范畴实际上有着丰富的结构, 之后我们将与$\lambda$演算一起考虑.
11. 来源于计算机科学的一个例子: 给定一个函数式语言$L$, 存在一个与之相关的范畴, 其对象是$L$的数据类型, 而箭头是$L$的可计算函数 (进程 (process), 过程 (procedure), 程序 (program)). 两个这样的程序的复合$X\stackrel{f}{\to }Y\stackrel{g}{\to }Z$由应用$g$于$f$的输出得到, 有时亦记作$$g\circ f=f;g\text{.}$$恒等箭头即什么也不做 (do nothing)的程序.
    这样的范畴对于编程语言的指称语义的想法而言是基本的. 例如, 如果$\mathbf{C}(L)$是刚才定义的范畴, 那么语言$L$于一个Scott domain的范畴$\mathbf{D}$中的指称语义不过就是一个函子$$S:\mathbf{C}(L)\to \mathbf{D}$$因为$S$赋予了$L$的类型以domain, 而程序以连续函数. 这个例子和前一个例子都和我们之后要考虑的笛卡尔闭范畴 (cartesian closed category)的概念有关. {译注: 这里的domain有特殊的含义, 其来源于指称语义的理论, 并不是(函数或者箭头的)定义域或者(逻辑学的)论域的意思, 故我倾向于保留原文不动.}
12. 令$X$是一个集合. 我们可以将$X$当作一个范畴$\mathbf{Dis}(X)$, 其取$X$的元素为对象而箭头仅是必要的恒等箭头, 也就是对于每个$x\in X$都有一个. 这种箭头仅是恒等箭头的范畴被称为是离散的(discrete). 注意到离散范畴非常不过是非常特殊的偏序集.
13. 一个幺半群(monoid) (有时也被称为semigroup with unit) 是一个集合$M$, 其装备了一个二元运算$\cdot :M\times M\to M$和一个突出的单位元$u\in M$, 满足对于所有的$x,y,z\in M$, 都有$$(x\cdot y)\cdot z=x\cdot (y\cdot z)$$和$$u\cdot x=x=x\cdot u$$成立. 等价地, 一个幺半群不过就是一个仅有一个对象的范畴. 这个范畴的箭头即是幺半群的元素. 特别地, 恒等箭头即是单位元素$u$. 箭头的复合即是幺半群的二元运算$m\cdot n$.
    幺半群是非常普遍的. 这里有数字构成的幺半群, 例如装备了加法和$0$或者乘法和$1$的$\mathbb{N}$, $\mathbb{Q}$, 还有$ℝ$. 不过, 对于任意的集合$X$, 由所有从$X$到$X$的函数构成的集合, 记作$${\mathrm{Hom}}_{\mathbf{Sets}}(X,X)$$在复合运算下也是一个幺半群. 更一般地, 对于任意范畴$\mathbf{C}$中的对象$C$, 从$C$到$C$的箭头的集合, 记作${\mathrm{Hom}}_{\mathbf{C}}(C,C)$, 在$\mathbf{C}$的复合运算下是一个幺半群.
    既然幺半群是结构化集合, 那么存在一个范畴$\mathbf{Mon}$, 其对象是幺半群而箭头是保持幺半群结构的函数. 更细致地说, 一个从幺半群$M$到幺半群$N$的同态是一个函数$h:M\to N$, 其满足对于所有的$m,n\in M$, 都有$$h(m{\cdot }_{M}n)=h(m){\cdot }_{N}h(n)$$和$$h(u_M)=u_N$$成立. 我们观察到一个从$M$到$N$的幺半群同态和一个从被视为范畴的$M$到被视为范畴的$N$的函子是相同的东西. 在这种意义下, 范畴也是广义的幺半群 (generalized monoid), 而函子是广义的同态.

第1.5节 同构

同构的定义我们第一个对于重要的概念进行抽象的范畴论式的定义的例子. 抽象的含义在于其只使用了范畴论的概念, 而并不诉诸于关于对象和箭头的一些额外信息. 相较于其他可能的定义, 其优点在于它适用于任意的范畴. 例如, 人们有时将集合 (幺半群, 等等) 的同构定义为双射(bijective)函数 (相应地, 双射的同态), 即满足1-1和onto的东西——这用到了对象的元素. {译注: 1-1和onto是英语曾经对于单射和满射的表达, 但是自从Bourbaki学派兴起之后, 一般人都用injective和surjective了.} 在某种情形下, 这等价于我们的定义, 例如集合和幺半群. 但是我们也应该注意到, 例如在$\mathbf{Pos}$之中, 非同构的偏序集之间也存在着双射的同态. 而且, 在诸多情形之下, 只有抽象的定义能够成立 (make sense), 例如将幺半群视为范畴的情形.

自然数集$\mathbb{N}$在加法或者乘法下都不能构成一个群, 但是整数集$\mathbb{Z}$在加法下能够形成一个群, 正有理数集${\mathbb{Q}}^{+}$在乘法下也能够形成一个群. 对于任意的集合$X$, 我们有由$X$的自同构 (或者说置换) 构成的群$\mathrm{Aut}(X)$, 即由同构$f:X\to X$构成的群. (为什么这在$\circ$下封闭?) 一个置换群(group of permutations)是对于某个集合$X$而言的子群$G\subseteq \mathrm{Aut}(X)$, 也就是由$X$的(某些)自同构构成的群. 因此, 集合$G$必须满足以下条件:

1. $X$上的恒等函数$1_X$在$G$之中.
2. 如果$g,g^{\prime }\in G$, 那么$g\circ g^{\prime }\in G$.
3. 如果$g\in G$, 那么$g^{-1}\in G$.

一个群的同态$h:G\to H$不过就是一个幺半群同态, 由此则必然保持逆 (请证明!).

现在请让我们考虑以下关于抽象群的基本而经典的结果.

Cayley定理言称任意的抽象群都可以由某个具体群所表示, 即某个集合的一个置换群. 实际上, 这个定理可以被推广以表明任意不太大 (too big)的范畴都可以由一个具体范畴表示, 即一个由集合和函数构成的范畴. (不太大的技术性含义于第1.8节引入.)

第1.6节 范畴的构造

既然我们有了一些可以摆弄的范畴, 现在我们可以考虑一些从旧范畴产生新范畴的构造了.

1. 两个范畴之积, 记作$$\mathbf{C}\times \mathbf{D}$$其有着形式为$(C,D)$的对象, 其中$C\in \mathbf{C}$且$D\in \mathbf{D}$, 而有着形式为$$(f,g):(C,D)\to (C^{\prime },D^{\prime })$$的箭头, 其中$f:C\to C^{\prime }\in \mathbf{C}$而$g:D\to D^{\prime }\in \mathbf{D}$. 复合和单位元都是逐分量定义的, 即$$(f^{\prime },g^{\prime })\circ (f,g)=(f^{\prime }\circ f,g^{\prime }\circ g)$$$$1_{(C,D)}=(1_C,1_D)$$存在着两个显然的投影函子(projection functor)$$\mathbf{C}\stackrel{{\pi }_1}{\leftarrow }\mathbf{C}\times \mathbf{D}\stackrel{{\pi }_2}{\to }\mathbf{D}$$其由${\pi }_1(C,D)=C$和${\pi }_1(f,g)=f$定义, 而${\pi }_2$是类似的.
   熟悉群论的作者应该能够识别出来, 对于群$G$和$H$, 其积范畴$G\times H$不过是通常的群的(直)积.
2. 一个范畴$\mathbf{C}$的相反(opposite) (或者说对偶 (dual)) 范畴${\mathbf{C}}^{\mathrm{op}}$和$\mathbf{C}$有着相同的对象, 而${\mathbf{C}}^{\mathrm{op}}$中的一个箭头$f:C\to D$是$\mathbf{C}$中的一个箭头$f:D\to C$. 也就是说, ${\mathbf{C}}^{\mathrm{op}}$不过就是将$\mathbf{C}$中的所有箭头在形式上调转方向而已.
   使用一种记号将$\mathbf{C}$中的对象和${\mathbf{C}}^{\mathrm{op}}$中的相同对象进行区分是方便的, 箭头亦是如此. 因此, 让我们将$\mathbf{C}$中的$f:C\to D$在${\mathbf{C}}^{\mathrm{op}}$中的相应箭头记为$$f^{⁎}:D^{⁎}\to C^{⁎}\text{.}$$以此记号, 我们可以基于$\mathbf{C}$中的复合和单位元来定义${\mathbf{C}}^{\mathrm{op}}$中的相应运算, 即$$1_{C^{⁎}}={(1_C)}^{⁎}$$$$f^{⁎}\circ g^{⁎}={(g\circ f)}^{⁎}$$因此, $\mathbf{C}$中的一个图表在${\mathbf{C}}^{\mathrm{op}}$中看起来就像以下图表诸多数学的对偶性定理不过是表达了一个范畴是另一个范畴的相反范畴(的一个子范畴). 这种定理的一个例子是我们之后要证明的$\mathbf{Sets}$对偶于完备原子布尔代数的范畴.
3. 一个范畴$\mathbf{C}$的箭头范畴${\mathbf{C}}^{\to }$以$\mathbf{C}$的箭头为对象, 而${\mathbf{C}}^{\to }$中一个从$f:A\to B$到$f^{\prime }:A^{\prime }\to B^{\prime }$的箭头$g$是一个交换方块其中的$g_1$和$g_2$是$\mathbf{C}$中的箭头. 也就是说, 这样一个箭头是$\mathbf{C}$中的一对箭头$g=(g_1,g_2)$, 其满足$$g_2\circ f=f^{\prime }\circ g_1\text{.}$$一个对象$f:A\to B$上的恒等箭头$1_f$是序对$(1_A,1_B)$. 箭头的复合是逐分量进行的:$$(h_1,h_2)\circ (g_1,g_2)=(h_1\circ g_1,h_2\circ g_2)$$读者应该绘制相应的交换图表来验证这的确能够成立.
   观察到这里存在着两个函子:$$\mathbf{C}\stackrel{\mathrm{dom}}{\leftarrow }{\mathbf{C}}^{\to }\stackrel{\mathrm{cod}}{\to }\mathbf{C}$${译注: 函子$\mathrm{dom}$的定义为$\mathrm{dom}(f:A\to B)=A$而$\mathrm{dom}(g)=g_1$, 其中$g=(g_1,g_2)$; 函子$\mathrm{cod}$的定义与$\mathrm{dom}$类似.}
4. 一个范畴$\mathbf{C}$于一个对象$C\in \mathbf{C}$上的切片范畴(slice category)$\mathbf{C}/C$拥有
   • 对象: 所有满足$\mathrm{cod}(f)=C$的箭头$f\in \mathbf{C}$;
   • 箭头: 从$f:X\to C$到$f^{\prime }:X^{\prime }\to C$的一个箭头$a$是$\mathbf{C}$中的一个箭头$a:X\to X^{\prime }$, 其满足$f^{\prime }\circ a=f$, 如下图所示恒等箭头和复合继承自$\mathbf{C}$, 这与箭头范畴的情况类似. 注意到存在着一个函子$U:\mathbf{C}/C\to \mathbf{C}$, 其遗忘了基对象$C$.
     如果$g:C\to D$是任意的箭头, 那么存在着一个复合函子$$g_{⁎}:\mathbf{C}/C\to \mathbf{C}/D$$其由$g_{⁎}(f)=g\circ f$定义而对于$\mathbf{C}/C$中的箭头也是类似的. 显然, 整个构造是一个函子$$\mathbf{C}/(-):\mathbf{C}\to \mathbf{Cat}$$读者可以轻易验证这个事实. 和Cayley表示相比, 这个函子给出了$\mathbf{C}$作为由范畴和函子构成的范畴的一种表示——而非由集合与函数构成的范畴. 当然了, Cayley表示不过就是其接着一个遗忘函子$U:\mathbf{Cat}\to \mathbf{Sets}$, 其取范畴为它潜在 (underlying) 的对象集. {译注: 这个遗忘函子将$\mathbf{Cat}$里的箭头, 即范畴间的函子, 变为潜在对象集之间的函数.}
     如果$\mathbf{C}=\mathbf{P}$是一个偏序集范畴而$p\in \mathbf{P}$, 那么$$\mathbf{P}/p\cong \downarrow (p)$$切片范畴$\mathbf{P}/p$不过就是主理想$\downarrow (p)$, 其由所有满足$q\le p$的元素$q\in \mathbf{P}$构成. 我们很快还会遇到更多切片范畴的例子.
     一个范畴$\mathbf{C}$在一个$\mathbf{C}$的对象$C$下的余切片范畴(coslice category)$C/\mathbf{C}$以所有满足$\mathrm{dom}(f)=C$的$\mathbf{C}$中箭头$f$为对象, 而一个从$f:C\to X$到$f^{\prime }:C\to X^{\prime }$的箭头是一个箭头$h:X\to X^{\prime }$, 其满足$h\circ f=f^{\prime }$. 读者现在应该仿照切片范畴的定义来展开剩余的关于余切片范畴的定义. 如何根据切片范畴和相反构造来定义余切片范畴呢?

第1.7节 自由范畴

自由幺半群 (free monoid). 我们从一个字母$a,b,c,\dots$的表 (alphabet)$A$开始, 即一个集合$$A=\{a,b,c,\dots \}\text{.}$$$A$上的一个词(word)是一个字母的有限序列:$$\text{thisword},\text{categoriesarefun},\text{asddjbnzzfj},\dots$$我们将空词记为$-$. $A$的Kleene闭包被定义为集合$$A^{⁎}=\{A\text{上的词}\}\text{.}$$我们定义一个$A^{⁎}$上的二元运算$⁎$为$w⁎w^{\prime }=w{w}^{\prime }$, 其中词$w,w^{\prime }\in A^{⁎}$. 因此, $⁎$不过就是拼接(concatenation). 于是, 运算$⁎$是结合性的, 并且空词$-$是其单位元. 所以说, $A^{⁎}$是一个幺半群——其被称为集合$A$上的自由幺半群(free monoid). 元素$a\in A$可以被视为长度为一的词, 也就是说我们有了一个函数$$i:A\to A^{⁎}$$其定义是$i(a)=a$, 并被称为生成元的嵌入 (insertion of generators). 我们说$A$的元素生成了这自由范畴, 其意在于每个$w\in A^{⁎}$都是$a$的一个$⁎$积, 即对于$A$中的某些$a_1,a_2,\dots ,a_n$我们有$w=a_1⁎a_2⁎\cdots ⁎a_n$. {译注: 嵌入是自动的, 没有以额外的符号标示.}

现在我们想问的是这里的自由是什么意思? 能猜一下吗? 有时读者会在宝宝代数 (baby algebra)书籍中看到其定义以如下文字呈现:

一个幺半群$M$由$M$的一个子集$A$自由生成, 如果其满足以下条件:

1. 每个元素$m\in M$都可以写成$A$的元素之积:$$m=a_1{\cdot }_M\dots {\cdot }_M{a}_n,a_i\in A\text{.}$$
2. 没有非平凡 (nontrivial)的关系可以在$M$中成立, 即若$a_1\dots a_j=a_1^{\prime }\dots a_k^{\prime }$, 那么这是由幺半群的公理所要求的.

我反对这第二个条件所涉及的可证明性 (provability)或者其他什么. {译注: 译者也不太能完全理解这句话, 大概的意思就是第二个条件太过模糊, 编写证明时难以使用.} 欲使其作为定义而成功, 那么其就必须变得更加精确. 在范畴论中, 我们可以给出自由的精确定义——其捕获了上述内容的实质——但是避免了这种模糊.

首先, 每个幺半群$N$都有一个潜在集$|N|$, 并且每个幺半群同态$f:N\to M$都有一个潜在函数 (underlying function) $|f|:|N|\to |M|$. 很容易看出来这是一个函子, 可以称为遗忘函子. 根据定义, 一个集合$A$上的自由幺半群$M(A)$是带有以下所谓泛映射性质(universal mapping property)或者说UMP的那个 (the)幺半群!

$M(A)$的泛映射性质
存在着一个函数$i:A\to |M(A)|$, 对于任意的幺半群$N$和任意的函数$f:A\to |N|$, 存在唯一的幺半群同态$\bar{f}:M(A)\to N$使得$|\bar{f}|\circ i=f$, 如以下图表所示:

请想一想为什么上述的UMP精确捕获了没有垃圾和没有杂讯的意义. 更确切地说, UMP的存在性部分捕获了没有杂讯这个模糊的概念 (因为生成元的代数组合之间成立的任意等式也必然在任意其可以被映射至的地方成立, 也就是所有的地方), 而唯一性的部分精确化了没有垃圾的想法 (因为任意不是由生成元组合而成的额外元素都可以被自由地映射至不同的值.

使用这个UMP, 我们可以很容易地表明自由幺半群$M(A)$在同构下唯一确定, 其含义如下:

例如, 任意单元素集合上的自由幺半群很容易看出来与自然数集$\mathbb{N}$在加法下的幺半群同构 (其生成元是数字$1$). 因此, 作为一个幺半群, 根据自由幺半群的UMP, $\mathbb{N}$在同构下唯一确定. {译注: 和自由幺半群同构的幺半群是自由的.}

自由范畴 (free category). 现在, 我们想要对于一般的范畴 (而非仅是幺半群) 进行相同的事情. 范畴拥有的是潜在图 (underlying graph) 而不是潜在集合, 故让我们先回顾图论.

一个有向图(directed graph)由顶点和边构成, 其中每条边都是有向的, 也就是每条边都有一个源头 (source)和一个目标 (target)顶点. {译注: 在范畴论中, domain有时也被称为source, codomain有时也被称为target.}我们就像绘制范畴一样绘制图, 但是这里没有边的复合, 也没有恒等边 (identity). {译注: 绘制范畴的图表时, 我们会默认每个对象上都有一个恒等箭头而不画出来. 在图 (graph) 中, 我们没有与之对应的恒等边的概念. 不过, 就像一个范畴可以有从某个对象到其自身的非恒等的箭头, 一个图里也可以存在着从某个顶点到其自身的边 (即自环, loop). 另外, 虽然边和边不能复合为新的边, 但是两个由边构成的路径可以复合为新的路径, 这也是下文就要提到的.}

因此, 一个图由两个集合$E$ (边) 和$V$ (顶点), 以及两个函数$s:E\to V$ (源头) 和$t:E\to V$ (目标) 构成. 于是, 在$\mathbf{Sets}$中, 一个图不过是具有形式$$E\underset{t}{\overset{s}{\rightrightarrows }}V$$的一个由对象和箭头构成的配置 (configuration).

现在, 每个图$G$都生成了一个范畴$\mathbf{C}(G)$, 即$G$上的自由范畴. 其取$G$的顶点为对象, 而$G$中的路径(path)为箭头, 其中一个路径是一个边的有限序列$e_1,\dots ,e_n$, 其满足对于每个$i=1,\dots ,n-1$都有$t(e_i)=s(e_{i+1})$. 我们记$\mathbf{C}(G)$的箭头以形式$e_n{e}_{n-1}\dots e_1$.$$v_0\stackrel{e_1}{\to }{v}_1\stackrel{e_2}{\to }{v}_2\stackrel{e_3}{\to }\cdots \stackrel{e_n}{\to }{v}_n$$置$$\begin{array}{rcl}\mathrm{dom}(e_n\dots e_1)& =& s(e_1)\\ \mathrm{cod}(e_n\dots e_1)& =& t(e_n)\end{array}$$并以拼接定义复合:$$e_n\dots e_1\circ e_m^{\prime }\dots e_1^{\prime }=e_n\dots e_1{e}_m^{\prime }\dots e_1^{\prime }\text{.}$$对于每个顶点$v$, 我们都有一个空路径 (empty path), 记作$1_v$, 其为$v$处的恒等箭头.

我们注意到如果$G$只有一个顶点, 那么$\mathbf{C}(G)$不过就是$G$的边的集合上的自由幺半群. 另外, 如果$G$只有顶点(而没有边), 那么$\mathbf{C}(G)$是$G$的顶点集合上的离散范畴.

之后我们将会拥有一个对于自由的一般性定义, 暂时先让我们看到$\mathbf{C}(G)$也有一个UMP. 首先, 以显然的方式定义遗忘函子$$U:\mathbf{Cat}\to \mathbf{Graphs}$$一个范畴$\mathbf{C}$的潜在图以$\mathbf{C}$的箭头为边, 而以对象为顶点, 其中$s=\mathrm{dom}$且$t=\mathrm{cod}$. $U$于函子上的动作也是同等清晰的, 至少很快就会变得清晰起来, 一旦我们定义了$\mathbf{Graphs}$中的箭头.

一个图的同态当然是一个无需满足恒元和复合上的条件的函子. {译注: 读者明白其实一个图上没有恒等箭头和箭头复合的类似物, 但是作者是类比函子的定义而说出这句话的.} 也就是说, 其是一个保持源头和目标的从边到边而从顶点到顶点的映射. 现在我们从稍微不同的角度来描述图的同态, 这在之后会变得有用.

首先, 观察到我们可以用如下图表描述一个范畴$\mathbf{C}$:其中$C_0$是$\mathbf{C}$的对象的合集, $C_1$是箭头的合集, $i$是恒等箭头操作, $C_2$是合集$$\{(f,g)\in C_1\times C_1|\mathrm{cod}(f)=\mathrm{dom}(g)\}\text{.}$$

然后, 从$\mathbf{C}$到一个范畴$\mathbf{D}$的一个函子$F:\mathbf{C}\to \mathbf{D}$是一对函数$$F_0:C_0\to D_0$$$$F_1:C_1\to D_1$$其使得以下图表中的每个类似标记的方块 (similarly labeled square) 都交换:其中$F_2(f,g)=(F_1(f),F_1(g))$.

现在让我们来描述图的同态$$h:G\to H\text{.}$$我们需要一对函数$h_0:G_0\to H_0,h_1:G_1\to H_1$来作成在以下图表中交换的两个方块 (一个和$t$有关, 一个和$s$有关):以这些概念, 我们可以很容易地描述遗忘函子$$U:\mathbf{Cat}\to \mathbf{Graphs}$$为将范畴送至其潜在图 {译注: $\mathrm{dom}$相当于$s$, $\mathrm{cod}$相当于$t$}$$C_1\underset{\mathrm{dom}}{\overset{\mathrm{cod}}{\rightrightarrows }}{C}_0$$而类似地对于函子, $U$的效果可以被描述为擦除图表里的一些部分 (这用粉笔演示更加容易!). 再一次让我们对于一个范畴$\mathbf{C}$的潜在图记$|\mathbf{C}|=U(\mathbf{C})$, 诸如此类, 这与之前幺半群的情形是类似的.

现在, 我们可以说一个图上的自由范畴拥有以下UMP.

$\mathbf{C}(G)$的泛映射性质
存在一个图同态$i:G\to |\mathbf{C}(G)|$, 对于任意的范畴$\mathbf{D}$和任意的图同态$h:G\to |\mathbf{D}|$, 存在唯一的函子$\bar{h}:\mathbf{C}(G)\to \mathbf{D}$使得$|\bar{h}|\circ i=h$.

只有一个顶点的图上的自由范畴不过是其边集合上的自由幺半群. 只有两个顶点和其间的一条边的图上的自由范畴是有限范畴$\mathbf{2}$. 在具有形式$$A\underset{f}{\overset{e}{\rightleftarrows }}B$$的一个图上的自由范畴(在恒等箭头之外)拥有无穷多个箭头:$$e,f,ef,fe,efe,fef,efef,\dots$$

第1.8节 基础: 大, 小, 以及局部小

本节让我们以区分下列概念开始:

1. 数学的范畴论基础;
2. 范畴论的数学基础.

之于第一个点, 读者有时可能听说过范畴论可以用来提供数学的基础, 作为集合论的替代. 的确如此, 但是这并非我们现在要做的事情. 在集合论中, 我们往往以诸如存在一个无限的集合这样的外延性的公理开始, 然后根据诸如每个集合都有一个幂集这样的公理导出更多的集合, 由此构建出一个数学对象 (即集合) 的宇宙, 在原则上这对于所有的数学是足够了的. 我们的诸如每个箭头都有一个定义域和一个陪域的公理不应该同诸如每个集合都有一个幂集这样的公理以相同的方式理解! 其区别在于集合论之中——至少按照其通常的意义——公理被认为是指向 (或者说确定) 一个单一的集合宇宙. 与之相对的是, 范畴论中的公理是对于某种东西的一个定义, 即关于范畴的概念. 这就如同群论或者拓扑中的情况, 其中公理用于定义研究的对象. 实际上, 这些对象被认为是存在于某个背景或者说基础系统之中, 例如集合论 (或者类型论). 而集合理论自身, 又可能是使用范畴论确定的, 或者其他什么方式.

这将我们引向了第二点: 我们假定我们的范畴就像绝大多数数学对象一样以这样或那样的方式由集合和函数构成, 并将刚才所作出的关于范畴论(或者其他)基础的可能性的评注考虑在内. 但是, 在范畴论中, 我们有时会遇到集合论的通常实践里也会遇到的困难. 绝大多数情况下这是关于大小的问题; 一些范畴太大以至于无法在常规的集合论中舒服地处理. 当我们在第1.5节里考虑Cayley表示时, 我们就已经遇到了这种问题. 那里我们需要我们所考虑的范畴的态射类(至多)只是箭头的集合. 然而, (尽管我们通常会限制群之类的对象的大小, )我们并不希望在一般情况下施加这种限制; 否则的话, 甚至连范畴$\mathbf{Sets}$都不能是一个真正的范畴了, 其他诸多我们一定想要研究的范畴也是如此.

存在着各种各样的形式化设备用于解决这些问题, 而它们在Mac Lane的书中有所讨论. {译注: 所谓形式化设备 (formal device), 读者可以理解为形式化的技术细节.} 对于我们当前的目的, 以下的区分是有用的.

例如, 所有的有限范畴都显然是小的, 由有限集合和函数构成的范畴${\mathbf{Sets}}_{\mathrm{fin}}$亦是如此. (实际上, 我们甚至可以规定集合只能由其他有限集合构成, 一路递降到底也是如此, 即它们是遗传有限 (hereditarily finite)的. {译注: 这里对于遗传有限性的描述并不那么明确, 实际上遗传有限集合可以被定义为每个元素都是遗传有限集合的有限集合.}) 另一方面, 偏序集的范畴$\mathbf{Pos}$, 群的范畴$\mathbf{Groups}$, 以及集合的范畴$\mathbf{Sets}$都是大的. 我们令$\mathbf{Cat}$是由所有小范畴(small category)构成的范畴, 其本身是一个大范畴. 那么, 特别地, $\mathbf{C}$不是其自身的对象, 这对于某些读者而言可能是一种迟来的宽慰.

这并没有真正解决我们所有的困难. 甚至对于诸如$\mathbf{Groups}$和$\mathbf{Sets}$这样的大范畴, 我们也想要考虑诸如由所有从一个范畴到另一个范畴的函子构成的范畴这样的构造 (之后我们会定义这种函子范畴 (functor category)). 但是, 如果这些范畴不是小的, 那么常规的集合论就没有提供直接处理它们的手段 (这些范畴就太大了). 因此, 我们需要一种关于类 (class)的更加精致的理论来处理这样的构造. 我们不会太过担心这个问题, 因为它只是关于技术性基础的事情. (Mac Lane I.6处理了这件事情.) 然而, 与之相关的一个非常有用的概念如下.

诸多我们想要考虑的大范畴实际上是局部小的. $\mathbf{Sets}$是局部小的, 鉴于${\mathrm{Hom}}_{\mathbf{Sets}}(X,Y)=Y^X$是由所有从$X$到$Y$的函数构成的集合. 类似地, $\mathbf{Pos}$, $\mathbf{Top}$, $\mathbf{Groups}$都是局部小的 ($\mathbf{Cat}$呢?). {译注: 尽管前文尚未提及, $\mathbf{Top}$是拓扑空间的范畴.} 当然, 任何小范畴都是局部小的.

第1.9节 练习

1. $\mathbf{Rel}$的对象是集合, 而一个箭头$A\to B$是一个从$A$到$B$的关系, 即一个子集$R\subseteq A\times B$. 相等关系$\{⟨a,a⟩\in A\times A|a\in A\}$是集合$A$上的恒等箭头. $\mathbf{Rel}$中的复合由$$S\circ R=\{⟨a,c⟩\in A\times C|\exists b.⟨a,b⟩\in R\&⟨b,c⟩\in S\}$$给出, 其中$R\subseteq A\times B$而$S\subseteq B\times C$. {译注: 一个关系实际上不仅是集合的笛卡尔积的一个子集, 它还需要记住自己的定义域和陪域 (或者说源头和目标), 换言之定义域和陪域是其元信息. 因此, 记号$R\subseteq A\times B$应该理解为$\mathrm{dom}(R)=A$且$\mathrm{cod}(R)=B$.}
   1. 表明$\mathbf{Rel}$是一个范畴.
   2. 也表明存在一个函子$G:\mathbf{Sets}\to \mathbf{Rel}$将每个对象送至自身而将每个函数$f:A\to B$送至其图 (graph), 即$$G(f)=\{⟨a,f(a)⟩\in A\times B|a\in A\}\text{.}$$
   3. 最后, 表明存在一个函子$C:{\mathbf{Rel}}^{\mathrm{op}}\to \mathbf{Rel}$, 其取每个关系$R\subseteq A\times B$为其逆$R^c\subseteq B\times A$, 其中$$⟨a,b⟩\in R^c\iff ⟨b,a⟩\in R\text{.}$${译注: 这个问题的描述十分糟糕, 译者花了相当长的时间才理解清楚. ${\mathbf{Rel}}^{\mathrm{op}}$中的关系$R\subseteq A\times B$实际上是一个从$B$到$A$的箭头, 而$\mathbf{Rel}$中的$R^c\subseteq B\times A$也是一个从$B$到$A$的箭头. $⟨a,b⟩\in R^c\iff ⟨b,a⟩\in R$这个记号太过具有误导性了, 实际上其中$b\in A$而$a\in B$. 译者认为改成$⟨b,a⟩\in R^c\iff ⟨a,b⟩\in R$更合理一些.}
2. 考虑以下范畴的同构并判断是否成立.
   1. $\mathbf{Rel}\cong {\mathbf{Rel}}^{\mathrm{op}}$
   2. $\mathbf{Sets}\cong {\mathbf{Sets}}^{\mathrm{op}}$
   3. 对于一个固定的集合$X$, 其幂集是$\mathcal{P}(X)$, 那么作为偏序集范畴的$\mathcal{P}(X)\cong {\mathcal{P}(X)}^{\mathrm{op}}$, 其中$\mathcal{P}(X)$里的箭头是对于所有$A,B\subseteq X$而言的子集包含$A\subseteq B$. {译注: 这里我基本上采取直译, 不过不熟悉英文和数学习惯的人不太容易理解, 其实作者想说的是这个偏序集范畴的偏序不过就是$\mathcal{P}(X)$上的子集包含关系, 其显然是自反, 传递, 反对称的.}
3. 1. 表明在$\mathbf{Sets}$之中, 同构恰为双射.
   2. 表明在$\mathbf{Mon}$之中, 同构恰为双射的同态.
   3. 表明在$\mathbf{Pos}$之中, 同构和双射的同态是不同的.
4. 令$X$是一个拓扑空间

第2章 抽象结构

我们从一些关于范畴论定义的评注开始. 这些定义是对于一个范畴中的对象和箭头的性质的刻画, 其仅基于其他的对象和箭头, 也就是说, 只使用范畴论的语言. 这样的定义或可以说成是抽象的, 结构化的, 操作性的, 关系式的, 或者外部的 (与内部的相对). 想法在于对象和箭头是根据它们在范畴中扮演的角色确定的, 藉由它们与其他对象和箭头的关系, 也就是说, 根据它们在结构中的位置而非某种绝对意义上的它们是什么或者由什么构成. 前一章的自由幺半群或者自由范畴的构造是这种定义的一个例子, 而我们之后将会看到更多这样的例子; 暂时, 我们从简单的开始. 让我们称其为抽象刻画(abstract characterization). 我们将会看到给出这样一个抽象刻画的基本方式之一是藉由一个泛映射性质 (UMP).

第2.1节 满态射和单态射

回忆一下, 在$\mathbf{Sets}$中, 一个函数$f:A\to B$被称为

• 单射的(injective), 如果对于所有的$a,a^{\prime }\in A$, $f(a)=f(a^{\prime })$可以推出$a=a^{\prime }$;
• 满射的(surjective), 如果对于所有的$b\in B$, 存在某个$a\in A$使得$f(a)=b$.

完全类似的情况依然成立, 诸如对于群, 环, 向量空间, 以及偏序集. 我们将会看到这个事实可以由每个这些范畴之中的特定对象 (例如这里是自由幺半群$M(1)$) 的存在 (presence) 推出.

现在, 和前文对偶地, $\mathbf{Sets}$中的满态射恰为满射的函数 (练习!); 然而, 作为对比的是, 在许多令人熟悉的范畴之中, 满态射不仅仅是满射的同态, 如以下例子所示.

首先, 我们注意到$$\begin{array}{rcl}f(-n)& =& f({(-1)}_1+{(-1)}_2+\cdots +{(-1)}_n)\\ & =& f{(-1)}_1⁎f{(-1)}_2⁎\cdots ⁎f{(-1)}_n\end{array}$$而对于$g$也是类似的. 这足以表明$f(-1)=g(-1)$, 无非$$\begin{array}{rcl}f(-1)& =& f(-1)⁎u\\ & =& f(-1)⁎g(0)\\ & =& f(-1)⁎g(1-1)\\ & =& f(-1)⁎g(1)⁎g(-1)\\ & =& f(-1)⁎f(1)⁎g(-1)\\ & =& f(-1+1)⁎g(-1)\\ & =& f(0)⁎g(-1)\\ & =& u⁎g(-1)\\ & =& g(-1)\end{array}$$

我们应该注意到, 从代数的角度来看, 一个态射$e$是满态射当且仅当$e$可以从右侧消去: $xe=ye$能够推出$x=y$. 对偶地, $m$是单态射当且仅当$m$可以从左侧消去: $mx=my$能够推出$x=y$.

第2.1.1小节 Sections and retractions

我们刚才注意到任意的同构既是单态射又是满态射. 更一般地, 如果一个箭头$$f:A\to B$$具有一个左逆$$g:B\to A,gf=1_A$$那么根据相同的论证方法, $f$必然是单态射而$g$必然是满态射.

既然函子保持恒等箭头, 那么函子也保持split epi和split mono. {译注: 当然, 其实也需要函子的其他保持性质.} 请将其与之前$\mathbf{Mon}$中的例子2.5进行比较, 那里面的遗忘函子$$\mathbf{Mon}\to \mathbf{Sets}$$并没有保持例子里的满态射$\mathbb{N}\to \mathbb{Z}$.