范畴论系列（二）认识函子

函子

在范畴论中，通常将注意力放在态射而不是对象上。事实上，我们将看到甚至可以在不使用对象概念的情况下定义 " 范畴 "。现在，我们采取更全局的观点，将范畴本身视为结构化对象。保持它们结构的 " 态射 " 称为函子。

函子的定义

如果 $A$ 和 $B$ 是范畴，那么从 $A$ 到 $B$ 的函子 $F$ 是一种将每个 $A$ - 对象 $A$ 映射到 $B$ - 对象 $F(A)$，将每个 $A$ - 态射 $A f \to A'$ 映射到 $B$ - 态射 $F(A) F(f) \to F(A')$ 的映射，满足以下条件：

1. 保持复合性： 对于任何 $A$ 中的态射 $f \circ g$，有 $F(f \circ g) = F(f) \circ F(g)$。
2. 保持单位态射： 对于每个 $A$ - 对象 $A$，有 $F(\text{id}_A) = \text{id}_{F(A)}$。

符号表示

从 $A$ 到 $B$ 的函子通常用 $F: A \to B$ 或 $A \overset{F}{\to} B$ 表示。我们经常使用简化的符号 $FA$ 和 $Ff$ 代替 $F(A)$ 和 $F(f)$。

备注

注意，函子 $F: A \to B$ 在技术上是一个函数的族；一个从 $Ob(A)$ 到 $Ob(B)$ 的函数，以及对于每对 $A$ - 对象 $(A, A')$，一个从 $hom(A, A')$ 到 $hom(FA, FA')$ 的函数。由于函子保持单位态射，并且在任何范畴中对象的类与单位态射的类之间存在一一对应，因此函子的对象部分实际上是由其态射部分确定的。事实上，我们将在后面看到，如果我们选择 " 无对象 " 的范畴定义，那么在范畴之间可以简单地定义为保持它们的态射类的函数。

示例

1. 恒等函子： 对于任何范畴 $A$，存在恒等函子 $\text{id}_A: A \to A$，定义为 $\text{id}_A(A \xrightarrow{f}B) = A \xrightarrow{f}B$。

2. 常值函子： 对于任何范畴 $A$ 和任何 $B$ - 对象 $B$，存在常值函子 $\mathcal{C}_B: A \to B$，定义为 $\mathcal{C}_B(A \xrightarrow{f}A') = B \xrightarrow{\text{id}_B} B$。

3. 忘却函子： 对于上述提到的构造范畴 $A$，存在忘却函子（或底层函子）$U: A \to \text{Set}$，其中在每种情况下 $U(A)$ 是 $A$ 的底层集合，$U(f) = f$ 是底层函数。

4. 协变和逆变 Hom- 函子： 对于任何范畴 $A$ 和 $A$ - 对象 $A$，存在协变 Hom- 函子 $\text{hom}(A, -): A \to \text{Set}$ 和逆变 Hom- 函子 $\text{hom}(-, A): A^{op} \to \text{Set}$，分别定义为：

   • $\text{hom}(A, -)(B\xrightarrow{f}C) = \text{hom}(A, B) \xrightarrow{\text{hom}(A, f)} \text{hom}(A, C)$，其中 $\text{hom}(A, f)(g) = f \circ g$。
   • $\text{hom}(-, A)(B\xrightarrow{f}C) = \text{hom}(B, A) \xrightarrow{\text{hom}(f, A)} \text{hom}(C, A)$，其中 $\text{hom}(f, A)(g) = g \circ f$。

5. 如果将幺半群 A 和 B 视为范畴，那么从 A 到 B 的函子本质上就是从 A 到 B 的幺半群同态。

6. 如果将预序集 A 和 B 视为范畴，那么从 A 到 B 的函子本质上就是从 A 到 B 的保序映射。

7. 协变幂集函子： 协变幂集函子 $\mathcal{P}: \text{Set} \to \text{Set}$ 定义为 $\mathcal{P}(A \xrightarrow{f}B) = \mathcal{P}(A) \xrightarrow{\mathcal{P}(f)} \mathcal{P}(B)$，其中对于子集 $X \subseteq A$，有 $\mathcal{P}(f)(X) = f[X],f[X]为X在f下的像$。

8. 逆变幂集函子： 逆变幂集函子 $\mathcal{Q}: \text{Set}^{op} \to \text{Set}$ 定义为 $\mathcal{Q}(A\xrightarrow{f}B) = \mathcal{Q}(A) \xrightarrow{\mathcal{Q}(f)} \mathcal{Q}(B)$，其中对于子集 $X \subseteq A$，有 $\mathcal{Q}(f)(X) = f^{-1}[X]，即X在f下的原像f^{-1}[X]$。

9. N 次幂函子： 对于任何正整数 $n$，存在 N 次幂集函子 $\mathcal{S}_n: \text{Set} \to \text{Set}$，定义为 $\mathcal{S}_n(X\xrightarrow{f}Y) = X^n \xrightarrow{f^n} Y^n$，其中 $X^{n}=X\times X\dots X,f^n(X^n)=(f(X),\dots,f(X))=Y^n$

10. Stone 函子： Stone 函子 $S: \text{Top}^{op} \to \text{Boo}$ 将每个拓扑空间映射到布尔代数空间，对于连续映射 $X\xrightarrow{f}Y$，有 $Sf: S(Y) \to S(X)$ 定义为 $Sf(Z) = f^{-1}[Z]$。

11. 对偶函子： 对于向量空间范畴 $Vec$，对偶函子 $(-)^\wedge: Vec^{op} \to Vec$ 将每个向量空间映射到其对偶空间，对于线性映射 $V\xrightarrow{f}W$，有 $(f^\wedge): (W^\wedge) \to (V^\wedge)$ 定义为 $(f^\wedge)(g) = g \circ f$。

12. 单对象范畴到集合范畴的函子： 对于单对象范畴 $M$（可以看作是一个单一的幺半群），从 $M$ 到 $\text{Set}$ 的函子实际上就是 $M$ 的作用；即，对于每个集合 $X$，函子 $F(M\xrightarrow{m}M) = X^{M} \xrightarrow{F(m)} X$，其中 $(F(m))(f) = m \ast f$。

这些示例强调了函子的广泛应用，它们提供了不同范畴之间的结构保持映射。

函子的性质

命题

所有从范畴 $A$ 到 $B$ 的函子 $F$ 都保持同构；即，每当 $A \xrightarrow{k} A'$ 是 $A$ 的同构时，$F(k)$ 是 $B$ 的同构。

证明：

$F(k) \circ F(k^{-1}) = F(k \circ k^{-1}) = F(\text{id}_{A'}) = \text{id}_{F(A')}.$ 同样地，$F(k^{-1}) \circ F(k) = \text{id}_{F(A)}.$

备注

1. 尽管上述命题有一个平凡的证明，但它具有有趣的后果。特别地，它可用于证明范畴中的某些对象不同构。例如，基本群函子可用于证明某些拓扑空间不是同胚的，因为它能够显示它们的基本群不同构。
2. 即使所有函子都保持同构，它们不一定反映同构（即如果 $F(k)$ 是同构，则 $k$ 不一定是同构）。例如，考虑遗忘函子 $U: \text{Top} \to \text{Set}$。从实数集合（带离散拓扑）到实数集合 $\mathbb{R}$（带有常规拓扑）的恒等函数不是同胚映射（即在 $\text{Top}$ 中不是同构），尽管其底层映射是一个恒等映射，因此在 $\text{Set}$ 中是同构。

命题

如果 $F:A\to B$ 和 $G:B\to C$ 是函子，那么由 $G\circ F:A\to C$ 定义的复合函子是一个函子。$G\circ F$ 的定义如下：

$(G\circ F)(A\xrightarrow{f} A') = G(FA) \overset{G(Ff)}{\longrightarrow} G(FA').$

定义

1. 如果函子 $F:A\to B$ 存在函子 $G:B\to A$，使得 $G\circ F=\text{id}_A$ 和 $F\circ G=\text{id}_B$，则 $F:A\to B$ 被称为同构。
2. 如果存在同构 $F:A\to B$，则范畴 $A$ 和 $B$ 被称为同构。

备注

1. 显然，上述定义中的函子 $G$ 是由 $F$ 唯一确定的，它将被记为 $F^{-1}$。
2. " 同构于 " 显然是对所有范畴的合并上的等价关系。同构的范畴被认为是本质相同的。

示例

1. 对于任意类 $(X, Y)$，如果范畴 $C(X)$ 和 $C(Y)$ 是同构的，当且仅当存在从 $X$ 到 $Y$ 的双射。如果一个范畴同构于形如 $C(X)$ 的范畴，当且仅当它的每个态射都是恒同态射，这样的范畴被称为离散的。
2. 对于任意预序类对 $((X, \leq), (Y, \leq))$，如果范畴 $C(X, \leq)$ 和 $C(Y, \leq)$ 是同构的，当且仅当 $(X, \leq)$ 和 $(Y, \leq)$ 是等序的。如果一个范畴同构于形如 $C(X, \leq)$ 的范畴，当且仅当对于每一对对象 $(A, B)$，$hom(A, B)$ 中至多有一个成员时，这样的范畴被称为薄范畴。
3. 对于任意幺半群对 $(M, N)$，如果范畴 $C(M)$ 和 $C(N)$ 是同构的，当且仅当 $M$ 和 $N$ 是同构幺半群。如果一个范畴同构于形如 $C(M)$ 的范畴，当且仅当它只有一个对象。
4. 构造布尔代数的范畴与布尔环和环同态的构造范畴 BooRng 是同构的。
5. 对于任意交换环 $R$，记 $R\text{-Mod}$（或 $\text{Mod-}R$）为左（或右）$R$ - 模和模同态的构造范畴 。那么：
   • 对于任意环 $R$，$R\text{-Mod}$ 同构于 $\text{Mod-}R$。
   • 如果 $\mathbb{Z}$ 表示整数环，那么 $\mathbb{Z}\text{-Mod}$ 同构于可交换群和群同态的构造范畴 $A$。
6. 对于任意幺半群 $M$，令 $M\text{-Act}$ 为所有 $M$ - 作用和作用同态映射 $[f(m\ast x)=m\ast f(x)]$ 所构成的范畴。如果 $\Sigma^*$ 是所有字母串的自由幺半群，那么 $\Sigma^*\text{-Act}$ 同构于代数结构范畴 Alg ($\Sigma$)。

定义

设 $F: A \to B$ 为一个函子。

1. 嵌入的： 如果 $F$ 在态射上是单射，则称 $F$ 为嵌入的。
2. 忠实的： 如果所有的 hom-set 限制 $F: \text{hom}_A(A, A') \to \text{hom}_B(F(A), F(A'))$ 都是单射，则称 $F$ 为忠实的。
3. 全的： 如果所有 homset 限制都是满射，则称 $F$ 为满的。
4. 健忘的： 如果对于任意 $A$ - 态射 $f$，当 $Ff$ 是恒同态射时，$f$ 也是恒同态射，则称 $F$ 为健忘。

备注

注意，一个函子：

1. 当且仅当它在对象上是单射且是忠实函子，它是嵌入的。
2. 当且仅当它是全的、忠实的，并且在对象上是双射，它是同构函子。

例子

1. 忘却函子 $U: \text{Vec} \to \text{Set}$： 它是忠实的和健忘的，但既不是满的也不是嵌入的。这对于上述提到的所有构造都成立（当然，除了 $\text{Set}$ 本身）。
2. 协变幂集函子 $P: \text{Set} \to \text{Set}$ 和逆变幂集函子 $Q: \text{Set}^\text{op} \to \text{Set}$： 它们都是嵌入，但不是满的。
3. 函子 $U: \text{Met}_c \to \text{Top}$： 定义为 $U((X, d) \xrightarrow{f} (X', d')) = (X, \tau_d) \xrightarrow{f} (X', \tau_{d'})$，其中 $\tau_d$ 表示由度量 $d$ 诱导的拓扑，是满的和忠实的，但不是嵌入的。
4. 对于任意范畴 $A$，从 $A$ 到 $1$ 的唯一函子： 当且仅当 $A$ 是薄的，则该函子是忠实的。
5. 离散空间函子 $D: \text{Set} \to \text{Top}$： 定义为 $D(X \xrightarrow{f} Y) = (X, \delta_X) \xrightarrow{f} (Y, \delta_Y)$，其中 $\delta_Z$ 表示集合 $Z$ 上的离散拓扑，是一个全嵌入。
6. 非离散空间函子 $N: \text{Set} \to \text{Top}$： 定义为 $N(X \xrightarrow{f} Y) = (X, \iota_X) \xrightarrow{f} (Y, \iota_Y)$，其中 $\iota_Z$ 表示集合 $Z$ 上的非离散拓扑，是一个全嵌入。

命题

设 $F: A \rightarrow B$ 和 $G: B \rightarrow C$ 是函子。

1. 如果 $F$ 和 $G$ 都是同构（或者嵌入、忠诚、或者全函子），那么 $G \circ F$ 也是同构（或者嵌入、忠诚、或者全函子）。
2. 如果 $G \circ F$ 是嵌入（或者忠诚），那么 $F$ 也是嵌入（或者忠诚）。
3. 如果 $F$ 对象上是满射，且 $G \circ F$ 是全函子，那么 $G$ 也是全函子。

命题

如果 $F: A \rightarrow B$ 是一个全（full）且忠诚（faithful）的函子，那么对于每个 $B$ - 态射 $f: FA \rightarrow FA'$，都存在唯一的 $A$ - 态射 $g: A \rightarrow A'$，使得 $Fg = f$。此外，$g$ 是一个 $A$ - 同构当且仅当它是一个 $B$ - 同构。

证明： 由于全性（fullness），该态射存在，并且由于忠诚性（faithfulness），它是唯一的。由于命题 3.21，函子保持同构，因此 $f$ 是同构当且仅当 $g$ 是同构。如果 $f: FA \rightarrow FA'$ 是一个 $B$ - 同构，让 $g': A' \rightarrow A$ 是唯一的 $A$ - 态射，使得 $F(g') = f^{-1}$。然后，$F(g' \circ g) = Fg' \circ Fg = f^{-1} \circ f = \text{id}_{FA} = F(\text{id}_A)$，所以通过忠诚性，$g' \circ g = \text{id}_A$。同样地，$g \circ g' = \text{id}_{A'}$。因此，$g$ 是一个同构。

推论

全（full）且忠诚（faithful）的函子 $F: A \rightarrow B$ 反映同构；即，每当 $g$ 是 $A$ - 态射，使得 $F(g)$ 是 $B$ - 同构，那么 $g$ 就是 $A$ - 同构。

回顾我们之前提到的：同构的范畴被视为是本质相同的。这个 " 相同性 " 的概念非常严格。下面这个稍微弱一些、更灵活的 " 本质相同性 " 概念，被称为范畴的等价（equivalence of categories），更容易被满足。事实上，等价的范畴在所有有趣的范畴性质方面都有相同的行为。

定义

1. 函子 $F: A \rightarrow B$ 被称为等价（equivalence），如果它是全的（full）、忠诚的（faithful），并且在以下意义上是同构密集的：对于任意 $B$ - 对象 $B$，存在某个 $A$ - 对象 $A$，使得 $F(A)$ 同构于 $B$。
2. 如果存在从 $A$ 到 $B$ 的等价，那么范畴 $A$ 和 $B$ 被称为等价的。

备注

" 等价于 " 是所有范畴的聚合上的一个等价关系。

例子

1. 每个范畴之间的同构都是一个等价。因此，同构的范畴是等价的。
2. 范畴 Mat 与有限维向量空间（及其线性变换）的构造范畴是等价的，但不是同构的。不存在同构的原因可以从观察到的 Mat 中不同的对象不能同构来推导。一个等价由以下函子给出：对于每个自然数 $n \in Ob(Mat)$，将其映射到向量空间 $R^n$，将每个 $n \times m$ 矩阵 $A \in Mor(Mat)$ 映射到线性映射，该映射将 $R^n$ 中的每个元素 $(x_1, x_2, …, x_n)$ 映射到 $R^m$ 中的 $1 \times m$ 矩阵 $[x_1, x_2, …, x_n]A$（矩阵乘法定义）。
3. 度量空间和连续映射的构造 Met 与可度量化拓扑空间和连续映射的构造 Topm 是等价的。将每个度量空间映射到其诱导的拓扑空间的函子是一个等价，但不是同构。
4. 如果偏序集合（作为范畴）被视为等价，那么它们是同构的。然而，如果将预序集合（作为范畴）视为等价，它们可以在不同于同构的情况下是等价的。
5. 所有最小接受者（即，对于接受给定语言的最小状态数）的构造，作为 Σ-Seq 的一个全子范畴，与所有可识别语言的偏序集合是等价的（按包含关系排序，作为细范畴）。实际上，对于两个最小接受者 $A$ 和 $A'$，存在至多一个模拟 $A \rightarrow A'$，而且只有当 $A'$ 接受 $A$ 接受的每个单词时才存在这样的模拟。

命题

1. 如果存在一个等价 $A \xrightarrow{F} B$，那么就存在一个等价 $B \xrightarrow{G} A$。
2. 如果存在等价 $A \xrightarrow{F} B$ 和 $B \xrightarrow{H} C$，那么复合 $A \xrightarrow{H \circ F} C$ 也是等价的。

证明：

(1) 对于每个 $B$ 的对象，选择一个 $A$ 的对象 $G(B)$ 和一个 $B$ - 同构 $\varepsilon_B: F(G(B)) \rightarrow B$。由于 $F$ 是全的和忠诚的，对于每个 $B$ - 态射 $g: B \rightarrow B'$，存在唯一的 $A$ - 态射 $G(g): G(B) \rightarrow G(B')$ 使得 $F(G(g)) = \varepsilon_{B'}^{-1} \circ g \circ \varepsilon_B: F(G(B)) \rightarrow F(G(B'))$。因此，$G(g)$ 是唯一的 $A$ - 态射，使得下面的图

交换。从上述图的唯一性要求，可以立即得出** $G$ 保持单位态射**。 $G$ 保持复合由唯一性、下图的交换性

和 $F$ 保持复合的事实可以立即得出。因此，$G$ 是一个函子。 $G$ 是全的，因为对于每个 $A$ - 态射 $f: G(B) \rightarrow G(B')$，态射 $\varepsilon_{B'} \circ F(f) \circ \varepsilon_{B}^{-1}: B \rightarrow B'$（我们用 $g$ 表示）具有性质 $g \circ \varepsilon_B = \varepsilon_{B'} \circ F(f)$，这意味着 $f = G(g)$。 $G$ 是忠诚的，因为给定 $B \xrightarrow{g_1} B'$ 和 $B \xrightarrow{g_2} B'$ 且 $G(g_1) = G(g_2) = f$，我们有 $g_1 = \varepsilon_{B'} \circ F(G(g_1)) \circ \varepsilon_{B}^{-1} = \varepsilon_{B'} \circ F(f) \circ \varepsilon_{B}^{-1} = \varepsilon_{B'} \circ F(G(g_2)) \circ \varepsilon_{B}^{-1} = g_2$。 最后，$G$ 是同构密集的，因为对于每个 $A$ - 对象 $A$，$B$ - 同构 $\varepsilon_{FA}: F(G(FA)) \rightarrow FA$ 是某个 $A$ - 同构 $GFA \rightarrow A$ 在函子 F 下的像。

(2) 只需证明 $H \circ F$ 是同构密集的。给定一个 $C$ -对象 $C$，由于 $F$ 和 $H$ 都是同构密集的事实，存在一个 $B$ -对象 $B$，一个同构 $h: H(B) \rightarrow C$，以及一个 $A$ -对象 $A$，其中存在一个同构 $k: F(A) \rightarrow B$。因此，$h \circ H(k): (H \circ F)(A) \rightarrow C$ 是一个同构。

注解 等价性的概念在涉及对偶性时尤为有用。有许多例子表明存在一对熟悉的范畴，其中每个范畴等价于另一个的对偶。

定义 如果 $A^{op}$ 和 $B$ 是等价的，那么范畴 $A$ 和 $B$ 被称为 对偶等价。

例子

1. 布尔代数构造 $Boo$ 对偶等价于布尔空间构造 $BooSpa$（即，零维紧致 Hausdorff 空间和连续映射的构造）。可以通过将每个布尔空间与其开闭子集的布尔代数关联来获得等价性（Stone 对偶）。

2. 有限维实向量空间的范畴对偶等价于自身。可以通过将每个有限维向量空间与其对偶空间关联来获得等价性[参见 3.20 (12)]。

3. 集合对偶等价于完备原子布尔代数和完备布尔同态的范畴。可以通过将每个集合与其幂集关联（视为完备原子布尔代数）来获得等价性。

4. 紧致 Hausdorff 交换群的范畴对偶等价于 $Ab$。可以通过将每个紧致 Hausdorff 交换群 $G$ 与其字符的群 $\text{hom}(G, \mathbb{R}/\mathbb{Z})$ 关联来获得等价性（Pontrjagin 对偶）。

5. 局部紧致交换群的范畴对偶等价于自身。可以通过类似于上述（4）的方式获得等价性。

6. 紧致 Hausdorff 空间（和连续函数）的范畴 $HComp$ 对偶等价于 $C^*$ -代数和代数同态的范畴。可以通过将每个紧致 Hausdorff 空间 $X$ 与其复值连续函数的 $C^*$ -代数 $C(X, \mathbb{C})$ 关联来获得等价性（Gelfand-Naimark 对偶）。

注解

回顾先前的对偶原理，现在我们将其扩展到函子，即：引入对于任何函子 $F: A \rightarrow B$ 的对偶函子的概念，该概念可用于涉及函子的范畴逻辑语句的对偶。读者可以猜测涉及函子的范畴语句的对偶可能是什么。两个常见的错误是要么做得太少（只对其中一个范畴 $A$ 或 $B$ 进行对偶化），要么做得太多（甚至颠倒表示函子 $F$ 的箭头）。在这两种情况下，通常都不能获得新的函子。

定义

给定一个从 $A$ 到 $B$ 的函子 $F: A \rightarrow B$，其对偶（或者说反）函子 $F^{op}: A^{op} \rightarrow B^{op}$ 是由下式定义的函子：

$F^{op}(A \xrightarrow{f} A') = F (A' \xrightarrow{f} A)$

备注

显然，$(F^{op})^{op} = F$。为了形成涉及函子的范畴语句的对偶，制定相同的语句，但将每个范畴和每个函子替换为其对偶。然后将这个对偶语句翻译回关于原始范畴和函子的语句。

命题

以下每个关于函子的性质都是自对偶的: “同构”, “嵌入”, “忠诚”, “全函子”, “同构密集”, 和 “等价”。

范畴的第二定义

由于在任何范畴中对象的类和恒等态射的类之间存在双射（由 $A \mapsto \text{id}_A$ 给出），以及在范畴中恒等态射可以通过它们相对于组合的行为来表征，因此可以得到一个“无对象”的范畴定义。下面给出的这个定义在形式上比原始定义简单，并且在“本质上”等价于原始定义。之所以选择原始定义，是因为它与范畴的标准示例联系更紧密。

定义

1. 部分二元代数： 部分二元代数是指一个二元组 $(X, ∗)$，包括一个类 $X$ 和 $X$ 上的一个部分二元操作 $∗$，即在 $X \times X$ 的一个子类上定义的二元操作。记作 $x ∗ y$。

2. 部分二元代数的单位： 如果 $(X, ∗)$ 是一个部分二元代数，那么 $X$ 的元素 $u$ 被称为 $(X, ∗)$ 的单位，只要 $x ∗ u$ 被定义时，都有 $x ∗ u = x$，以及只要 $u ∗ y$ 被定义时，都有 $u ∗ y = y$。

定义

一个无对象的范畴是一个部分二元代数 $C = (M, \circ)$，其中 $M$ 的成员被称为态射，满足以下条件：

1. 匹配条件： 对于态射 $f, g, h$，以下条件等价：

   • (a) $g \circ f$ 和 $h \circ g$ 被定义，
   • (b) $h \circ (g \circ f)$ 被定义，
   • (c) $(h \circ g) \circ f$ 被定义。

2. 结合性条件： 如果态射 $f, g, h$ 满足匹配条件，则 $h \circ (g \circ f) = (h \circ g) \circ f$。

3. 单位存在条件： 对于每个态射 $f$，存在 $M$ 的元素 $u_C$ 和 $u_D$，使得 $u_C \circ f$ 和 $f \circ u_D$ 被定义。

4. 小性条件： 对于 $M$ 的元素对 $(u_1, u_2)$，类 $\text{hom}(u_1, u_2) = \{f \in M \mid f \circ u_1 \text{ 和 } u_2 \circ f \text{ 被定义}\}$ 是一个集合。

命题

如果 $A$ 是一个范畴，则：

1. $(\text{Mor}(A), \circ)$ 是一个无对象的范畴。
2. 一个 $A$ -态射是 $A$ -单位当且仅当它是 $(\text{Mor}(A), \circ)$ 的单位。

证明:

$(\text{Mor}(A), \circ)$ 显然是一个部分二元代数，其中 $f \circ g$ 有定义当且仅当 $f$ 的定义域是 $g$ 的共轭域。因此，每个 $A$ -单位都是一个单位。

如果 $A \xrightarrow{u} B$ 是 $(\text{Mor}(A), \circ)$ 的单位，则 $u = u \circ \text{id}_A = \text{id}_A$，其中第一个等式由 $\text{id}_A$ 是 $A$ -单位保证，第二个等式由 $u$ 是单位保证。

因此，命题的第二部分得证，第一部分是显然的。