范畴论：伴随函子 第1部分

1. 公式
   观察依据

   白板定义行写着“设 A ⇄ B 为函子”，其中 A 写作花体范畴符号。

$\mathcal{A}$

函子 F 的源范畴与函子 G 的目标范畴。

一个范畴

1. 公式
   观察依据

   白板定义行写着“设 A ⇄ B 为函子”，其中 B 写作花体范畴符号。

$\mathcal{B}$

函子 F 的目标范畴与函子 G 的源范畴。

一个范畴

1. 公式
   观察依据

   黑板上画有一条从 𝒜 到 ℬ 的箭头，标记为 F。

2. 声音
   观察依据

   讲师说：“设 F 和 G 为函子。注意它们的方向；它们朝相反方向进行。”

F

一个从 𝒜 到 ℬ 的函子；在伴随关系中，它是左伴随。

函子 𝒜 → ℬ

1. 公式
   观察依据

   黑板上画有一条从 ℬ 到 𝒜 的箭头，标记为 G。

2. 声音
   观察依据

   讲师指出 F 是 G 的左伴随，G 是 F 的右伴随。

G

一个从 ℬ 到 𝒜 的函子；在伴随关系中，它是右伴随。

函子 ℬ → 𝒜

1. 公式
   观察依据

   黑板上写着“若……则记作 F ⊣ G”。

2. 声音
   观察依据

   讲师说：“我们称 F 是 G 的左伴随，G 是 F 的右伴随，我们将这样来书写。”

$F \dashv G$

表示 F 是 G 的左伴随、G 是 F 的右伴随的记号。

两个方向相反的函子之间的关系

1. 公式
   观察依据

   所展示的同构使用了 ℬ($F(A)$, B)。

2. 声音
   观察依据

   讲师解释道：“这些是态射集，它们属于集合范畴。”

$\mathcal{B}(F(A),B)$

ℬ 中从对象 $F(A)$ 到对象 B 的态射集。

一个集合

1. 公式
   观察依据

   所展示的同构使用了 𝒜(A, $G(B)$)。

2. 声音
   观察依据

   讲师指出，等式两边都是属于集合范畴的态射集。

$\mathcal{A}(A,G(B))$

范畴 $\mathcal{A}$ 中从对象 A 到对象 $G(B)$ 的态射集。

一个集合

1. 公式
   观察依据

   黑板上写着 $\mathcal{B}(F(A),B) \cong \mathcal{A}(A,G(B))$。

2. 声音
   观察依据

   讲师询问该同构的含义，并回答：在集合范畴中，同构即为双射。

$\cong$

集合范畴中的同构，即两个态射集之间的双射。

集合间的映射

1. 公式
   观察依据

   黑板上写着“自然于 $A \in \mathcal{A}$ 和 $B \in \mathcal{B}$”。

2. 声音
   观察依据

   讲师称该同构关于“A 和 B”是自然的。

A

范畴 $\mathcal{A}$ 的一个对象。

A 属于集合 𝒜

1. 公式
   观察依据

   黑板上写着“自然于 $A \in \mathcal{A}$ 和 $B \in \mathcal{B}$”。

2. 声音
   观察依据

   讲师称该同构关于“A 和 B”是自然的。

B

范畴 $\mathcal{B}$ 中的一个对象。

B 属于 ℬ

1. 公式
   观察依据

   新增的等价线以“$\mathcal{A}^{op} \times \mathcal{B} \to$ SET”结尾。

2. 声音
   观察依据

   主讲人称这两个函子“映入集合范畴”。

1. 公式；黑板上写作大写的 SET，而口述为“集合范畴”；目标范畴含义明确，但大小写惯例未作说明。

SET

集合范畴，用作两个曲化态射函子的公共余定义域。

范畴

1. 公式
   观察依据

   新增的行中包含 $\mathcal{A}^{op} \times \mathcal{B}$。

2. 声音
   观察依据

   主讲人称这些函子“从 $\mathcal{A}$ 的对偶范畴与 $\mathcal{B}$ 的积出发，映入集合范畴”。

$\mathcal{A}^{op}$

$\mathcal{A}$ 的对偶范畴。

范畴

1. 公式
   观察依据

   预先写在黑板上的文字通过 F ⊣ G 及同构关系 $\mathcal{B}(F(A),B) \cong \mathcal{A}(A,G(B))$（在 A 和 B 上自然）来定义伴随函子。

2. 声音
   观察依据

   讲师朗读该定义，并指出 F 与 G 之间的伴随关系即为选取一个自然同构。

对于函子 F:\mathcal{A}$\to\mathcal{B}$ 和 G:\mathcal{B}$\to\mathcal{A}$，视频通过要求态射集 $\mathcal{B}(F(A),B)$ 与态射集 $\mathcal{A}(A,G(B))$ 之间存在自然同构（其中 A 是 $\mathcal{A}$ 中的对象，B 是 $\mathcal{B}$ 中的对象），来定义 F 是 G 的左伴随，G 是 F 的右伴随。讲师还指出，这两个函子的方向相反。

1. F 是从 $\mathcal{A}$ 到 $\mathcal{B}$ 的函子

2. G 是从 $\mathcal{B}$ 到 $\mathcal{A}$ 的函子

3. A 是 $\mathcal{A}$ 中的一个对象

4. B 是 $\mathcal{B}$ 中的一个对象

5. 该同构在 A 和 B 上均自然

6. 伴随是一个选定的自然同构。

1. 两个态射集之间同构的含义

1. 声音
   观察依据

   讲师说：“嗯，这些是态射集。它们属于集合范畴。那么在这个范畴中，同构是什么？它就是一个双射。”

两个表达式 ℬ($F(A)$, B) 和 𝒜(A, $G(B)$) 都是态射集，因此它们是集合范畴中的对象。故二者之间的符号 ≅ 表示集合间的双射，而不仅仅是在某个未指明范畴中的抽象范畴同构。

1. 被比较的对象是态射集

2. 该同构所处的背景范畴是集合范畴

1. 公式
   观察依据

   黑板上写着：“F 和 G 之间的伴随是一个自然同构的选择。”

2. 声音
   观察依据

   讲师重申：F 和 G 之间的伴随是一个自然同构的选择。

视频强调：称 F 和 G 是伴随的，并不只是抽象地断言其存在；伴随指的是在相应态射集函子之间所选定的一个自然同构的具体数据。

1. F 和 G 是定义中两个方向相反的函子

1. 通过态射集（hom-sets）的自然同构来定义伴随函子

1. 公式
   观察依据

   讲师写下：“即 F 和 G 是伴随函子，当且仅当 ℬ(F(−), −) 与 𝒜(−, G(−)) : 𝒜^op × ℬ → SET 自然同构。”

2. 声音
   观察依据

   主讲人解释说，这两个柯里化表达式是从对偶范畴与 $\mathcal{B}$ 的乘积到集合范畴的函子，并且它们必须是自然同构的。

视频将逐对象的自然同构重写为函子之间的同构：不再分别比较单个集合 $\mathcal{B}(F(A),B)$ 和 $\mathcal{A}(A,G(B))$，而是将等式两边都视为从 $\mathcal{A}^{op}\times\mathcal{B}$ 到 SET 的函子，并要求这两个函子自然同构。

1. 从𝒜到ℬ的映射

2. G：ℬ 到 𝒜

3. 等式两边都被视为从 $\mathcal{A}^{op}\times\mathcal{B}$ 出发的函子

4. 此时的自然同构发生在具有相同定义域和陪域的函子之间

1. 通过态射集（hom-sets）的自然同构来定义伴随函子

1. 公式
   观察依据

   黑板陈述：“设$\mathcal{A},\mathcal{B}$为范畴。我们称$F$是$G$的左伴随，$G$是$F$的右伴随，并记作$F\dashv G$，当且仅当$\mathcal{B}(F(A),B)\cong\mathcal{A}(A,G(B))$在$A\in\mathcal{A}$和$B\in\mathcal{B}$中自然成立。”

2. 声音
   观察依据

   讲师先解释对象映射$F(A)$和$G(B)$，然后指出：映射$A\to G(B)$等价于映射$F(A)\to B$。

两个函子 $F:\mathcal{A}\to\mathcal{B}$ 和 $G:\mathcal{B}\to\mathcal{A}$ 称为伴随的，记作 $F\dashv G$，当且仅当对每个对象 $A$ 属于 $\mathcal{A}$ 以及每个对象 $B$ 的 $\mathcal{B}$ 在态射集之间存在一个双射 $\mathcal{B}(F(A),B)$ 和 $\mathcal{A}(A,G(B))$。视频强调，该双射必须在两个变量上都是自然的，而不仅仅是一个集合论意义上的恒等识别。

1. $\mathcal{A}$和$\mathcal{B}$是范畴。

2. $F$是从$\mathcal{A}\to\mathcal{B}$出发的函子。

3. $G$是到$\mathcal{B}\to\mathcal{A}$的函子。

4. 该同构要求在$A$和$B$上都是自然的。

1. 声音
   观察依据

   讲师提问：“‘在A上自然’是什么意思？”并回答：这意味着对应关系与复合运算相容。

2. 公式
   观察依据

   黑板写道：“关于$A$自然地成立：对任意$h:A'\to A$、$A'\xrightarrow{h}A\to G(B)$∈$\mathcal{A}$，$F(A')\xrightarrow{F(h)}F(A)\to B$∈$\mathcal{B}$。”

$A$上的自然性表明：伴随对应关系与进入$A$的态射的预复合相容。若$h:A'\to A$是$\mathcal{A}$中的任意态射，则对任一态射$A\to G(B)$，先用$h$进行预复合、再经伴随对应转换，所得结果与先将$A\to G(B)$通过伴随对应转换为$F(A)\to B$、再用$F(h):F(A')\to F(A)$进行预复合的结果相同。简言之，该双射在$A$侧保持复合运算。

1. 固定一个对象$B\in\mathcal{B}$。

2. 该命题对所有态射 $h:A'\to A$ 在 $\mathcal{A}$ 中进行量化。

3. 该对应关系存在于$\mathcal{A}$中的态射与$\mathcal{B}$中的态射之间。

1. 通过态射集之间的自然同构来定义伴随函子

1. 公式
   观察依据

   黑板上定义了范畴$\mathbb{R}$，其对象为实数，态射为$x \to y$，当且仅当$x \le y$。

2. 声音
   观察依据

   讲师解释道：存在从3到4的态射，因为$3 \le 4$；但不存在从4到3的态射。

视频介绍了一个简单的例子范畴 $\mathbb{R}$，其对象为实数，其态射编码通常的序关系：当且仅当 $x \to y$ 当且仅当 $x \le y$。随后对 $\mathbb{Z}$给出相同的构造。这是将有序集视为范畴的一个具体例子。

1. 第一个例子中，对象是实数。

2. 态射$x\to y$存在当且仅当$x\le y$。

3. 整数版本以相同方式定义。

1. 公式
   观察依据

   黑板画出了$\mathbb{Z} \xrightarrow{I} \mathbb{R}$，并将$I$标注为“包含”。

2. 声音
   观察依据

   讲师说：“我们将定义一个函子，称之为 I，代表包含。”

讲师定义了一个函子$I$，它从整数范畴$\mathbb{Z}$映射到实数范畴$\mathbb{R}$。在此例中，它被描述为包含函子，反映出每个整数也都是实数这一事实。

1. 定义在前述两个序范畴之间。

2. 讲座中称之为“包含”（inclusion）。

1. 由实数上的通常序关系构造的偏序集范畴

1. 公式
   观察依据

   黑板上画出$\mathbb{R} \xrightarrow{F} \mathbb{Z}$，并将其标注为“取整函数”$F$。

2. 声音
   观察依据

   讲师说：“而在相反方向，我们将定义一个函子，称之为F，即取整函数。”

讲师在相反方向定义了一个函子$F$，其定义域为$\mathbb{R}$、陪域为$\mathbb{Z}$，并指出该函子即为取整函数。在范畴论语境下，这意味着实数范畴通过将每个实数映射为其下方最大的整数，被映射回整数范畴。

1. 定义域是范畴$\mathbb{R}$。

2. 陪域是范畴$\mathbb{Z}$。

3. 讲师明确称其为取整函数。

1. 由实数上的通常序关系构造的偏序集范畴

1. 声音
   观察依据

   讲师指出：“I是F的左伴随。”

2. 公式
   观察依据

   黑板上写出$I \dashv F$，随后开始书写态射集伴随公式。

根据该例子，讲师断言包含函子$I$是取整函子$F$的左伴随；接着他开始书写该伴随关系所对应的态射集形式。

1. 适用于本例中引入的特定函子对$I:\mathbb{Z}\to\mathbb{R}$和$F:\mathbb{R}\to\mathbb{Z}$。

1. 从整数到实数的包含函子
2. 从实数范畴到整数范畴的取整函数函子

1. 公式
   观察依据

   黑板上已写有：‘定义：设 A ⇄ B 为函子。若存在自然同构 $S(F(A),B)$ ≅ $A(G(B))$（对 $A \in X$ 和 $B \in Y$ 自然成立），则称 F 是 G 的左伴随，G 是 F 的右伴随，并记作 F ⊣ G。F 与 G 之间的伴随关系即对该自然同构的一个选取。’

2. 声音
   观察依据

   本片段中未给出新的口头定义；讲师在引入示例时直接使用了预先写好的设定。

1. 手写的 Hom-函子记号部分难以辨认，但所展示的公式始终清晰可见，即伴随关系的定义。

白板在示例开始前呈现了伴随关系的一般定义：当函子 F 与 G 之间存在相关 Hom 集合间的自然同构时，称它们互为伴随，并记作 F ⊣ G；而一个伴随关系即对该自然同构的具体选取。

1. F 和 G 是函子。

2. 该同构在两个变量上都是自然的。

3. 该陈述源自预先写在黑板上的内容，而非本片段中新说出的。

1. 公式
   观察依据

   黑板显示 Z ⇄ R，其中 F : $Z \to R$，G : $R \to Z$；并另行列出：‘R（对象为实数，态射 $x \to y$ 当且仅当 $x \le y$）’。

2. 声音
   观察依据

   讲师说：“这是我们的整数范畴”，以及“这是实数范畴。”

这个演算示例使用了两个范畴：ℤ（整数范畴）和 ℝ（实数范畴）。黑板明确指出，ℝ 的态射 $x \to y$ 恰好当且仅当 $x \le y$，因此该示例是在序集风格的范畴中进行处理的。

1. 该示例设定在范畴 ℤ 和 ℝ 中。

2. 对于 ℝ，态射由序关系 ≤ 决定。

1. 预先写好的伴随函子定义

1. 公式
   观察依据

   新写出的这一行明确表述为：“F 和 G 是伴随的，当且仅当……是自然同构的。”

2. 声音
   观察依据

   主讲人说：“F 和 G 是伴随函子，这当且仅当以下函子……是自然同构的。”

对于函子 F:\mathcal{A}$\to\mathcal{B}$ 和 G:\mathcal{B}$\to\mathcal{A}$，F 和 G 是伴随的，当且仅当从 $\mathcal{A}^{op}\times\mathcal{B}$ 到 SET 的函子 $\mathcal{B}$(F(-),-) 和 $\mathcal{A}$(-,G(-)) 是自然同构的。

1. F 是一个从 $\mathcal{A}$ 到 $\mathcal{B}$ 的函子

2. G 是一个从范畴 $\mathcal{B}$ 到范畴 $\mathcal{A}$ 的函子

3. 所展示的两个表达式被解释为从 $\mathcal{A}^{op}\times\mathcal{B}$ 到 SET 的函子

对所有此类函子 F 和 G，伴随性成立当且仅当所陈述的函子之间的自然同构成立。

1. 声音
   观察依据

   讲师说：“借助伴随关系，我们真正表达的是：从A到$G(B)$的映射，等价于从$F(A)$到B的映射。”

2. 公式
   观察依据

   黑板上显示$\mathcal{B}(F(A),B)\cong\mathcal{A}(A,G(B))$。

对于伴随函子 $F\dashv G$，给出一个态射 $A\to G(B)$ 在 $\mathcal{A}$ 中等价于给出一个态射 $F(A)\to B$ 在 $\mathcal{B}$。

1. $F:\mathcal{A}\to\mathcal{B}$和$G:\mathcal{B}\to\mathcal{A}$是函子。

2. 在所示的同态集自然同构意义下，$F\dashv G$。

对所有对象$A\in\mathcal{A}$和$B\in\mathcal{B}$。

1. 声音
   观察依据

   讲师说：“因此，从这个例子可知，I 是 F 的左伴随函子。”

2. 公式
   观察依据

   黑板上显示$I \dashv F$。

1. 该证明未在此片段中完成；仅展示了命题陈述及态射集表达式的开头部分。

对于上述定义的序范畴$\mathbb{Z}$和$\mathbb{R}$，包含函子$I:\mathbb{Z}\to\mathbb{R}$是取整函子$F:\mathbb{R}\to\mathbb{Z}$的左伴随函子。

1. $\mathbb{R}$ 是以实数为对象、以 $x\to y$ 当 $x\le y$。

2. $\mathbb{Z}$以相同方式用整数来定义。

3. $I$是包含函子$\mathbb{Z}\to\mathbb{R}$。

4. $F$是取整函数函子$\mathbb{R}\to\mathbb{Z}$。

对所有整数$a$和实数$b$，伴随关系由态射集之间的自然双射来表达。

1. 声音
   观察依据

   讲师说：“因此，这一伴随关系表明：此处的一个映射等同于彼处的一个映射。”

2. 图示
   观察依据

   他用手势在关联 Z 与 R 的示例图两侧之间示意。

在该例子中，包含函子与下取整函子之间的伴随关系意味着：一侧的映射对应于另一侧的映射。

1. 函子 F 与 G 构成一对伴随。

2. 这些对象取自示例范畴 Z 和 R。

对于所选的示例对象，依据黑板上给出的一般定义，自然地出现在变量中。

1. 公式
   观察依据

   黑板上显示：‘这表示：对任意 $a \in Z$ 和 $b \in R$，有 a ≤ ⌊b⌋ ⇔ $a \le b$’。

2. 声音
   观察依据

   主讲人用口语陈述了相同的等价关系。

对任意整数 a 和实数 b，a ≤ ⌊b⌋ 当且仅当 $a \le b$。

1. a 属于整数集 Z

2. b 属于实数集 R

3. F 是包含函子 $Z \to R$

4. G 是向下取整函子 $R \to Z$

5. 在该示例中，F ⊣ G

对所有 $a \in Z$ 和 $b \in R$。

1. 声音
   观察依据

   主讲人指出：自然同构通常用于讨论方向相同的函子。

2. 公式
   观察依据

   接着，他写出等价条件，将 $\mathcal{B}$(F(-),-) 和 $\mathcal{A}$(-,G(-)) 视为从 $\mathcal{A}^{op}\times\mathcal{B}$ 到 SET 的函子。

1. 公式

   $$\mathcal{B}(F(A),B) \cong \mathcal{A}(A,G(B)) \text{ naturally in } A,B$$
   解释

   从黑板上已写出的伴随性的原始定义出发。

   步骤依据

   该定义在主讲人添加新行之前就已显示。

   视频直接表达
2. 公式

   $$\text{Natural isomorphism is normally stated for functors with the same direction.}$$
   解释

   主讲人指出一种可能的混淆：F 和 G 本身方向相反，因此不应认为自然同构是直接存在于 F 和 G 之间。

   步骤依据

   在写出等价形式前立即进行的口头说明。

   视频直接表达
3. 公式

   $$\mathcal{B}(F(-),-):\mathcal{A}^{op}\times\mathcal{B}\to SET$$
   解释

   将第一个态射集表达式取曲率化，使得 A 和 B 成为单个函子的输入。

   步骤依据

   作为新等价行的一部分写在黑板上。

   视频直接表达
4. 公式

   $$\mathcal{A}(-,G(-)):\mathcal{A}^{op}\times\mathcal{B}\to SET$$
   解释

   以同样方式对第二个Hom集表达式进行柯里化。

   步骤依据

   作为新等价关系行的一部分写在黑板上。

   视频直接表达
5. 公式

   $$F \dashv G \iff \mathcal{B}(F(-),-) \cong \mathcal{A}(-,G(-))$$
   解释

   得出结论：伴随性等价于这两个新构造的函子之间存在自然同构。

   步骤依据

   主讲人明确写出“iff”，并指出这两个函子自然同构。

   视频直接表达

定义中逐对象的自然同构可重新表述为两个具有相同定义域 𝒜^op × ℬ 和相同余域 SET 的函子之间的自然同构。

1. 声音
   观察依据

   讲师提出问题：“关于A的‘自然性’究竟何意？”随后借助任意态射$h:A'\to A$解释该条件。

2. 公式
   观察依据

   黑板上画出两条复合箭头，并明确标注其中一侧属于$\mathcal{A}$，另一侧属于$\mathcal{B}$。

1. 公式

   $$$$
   解释

   从伴随双射出发$\mathcal{B}(F(A),B)\cong\mathcal{A}(A,G(B))$，其中$A$和$B$固定。

   步骤依据

   这是黑板上写出的定义。

   视频直接表达
2. 公式

   $$h:A'\to A$$
   解释

   引入一个任意的态射$h$，它属于$\mathcal{A}$，且以$A$为余目标。

   步骤依据

   关于$A$的自然性必须对每个这样的态射成立。

   视频直接表达
3. 公式

   $$A'\xrightarrow{h}A\to G(B)$$
   解释

   将$h$与一个态射$A\to G(B)$复合，得到一个态射$A'\to G(B)$ 在 $\mathcal{A}$。

   步骤依据

   这是范畴$\mathcal{A}$中的普通复合。

   视频直接表达
4. 公式

   $$F(A')\xrightarrow{F(h)}F(A)\to B$$
   解释

   对 $F$ 应用函子 $h$，得到 $F(h):F(A')\to F(A)$，并将其与对应的态射 $F(A)\to B$ 在 $\mathcal{B}$ 中复合。

   步骤依据

   函子将态射映为态射，且复合运算在范畴$\mathcal{B}$中进行。

   视频直接表达
5. 公式

   $$$$
   解释

   当且仅当上述两种操作在态射集双射下相互对应时，伴随关系关于$A$是自然的。

   步骤依据

   这正是标有“关于$A$自然”的黑板命题所表达的内容。

   视频直接表达

关于$A$的自然性意味着伴随对应关系与任意$h:A'\to A$的前复合可交换，等价地，$(A'\xrightarrow{h}A\to G(B))$对应于$(F(A')\xrightarrow{F(h)}F(A)\to B)$。

1. 公式
   观察依据

   黑板上写出了伴随公式$\mathbb{R}(I(a),b)\cong \mathbb{Z}(a,F(b))$的开头部分。

2. 声音
   观察依据

   讲师说：“这样写下来，就是同构，我们有这样一个东西。这里A是整数，B是实数。”

1. 本片段中，推导在给出完整证明之前就中止了。

1. 公式

   $$I \dashv F$$
   解释

   讲师首先写出伴随关系本身的陈述。

   步骤依据

   在引入$I$和$F$之后，讲师在课堂上直接陈述了该伴随关系。

   视频直接表达
2. 公式

   $$\mathbb{R}(I(a),b)\cong \mathbb{Z}(a,F(b))$$
   解释

   接着，他将伴随关系转化为两个态射集之间的双射，其中$a$是整数，$b$是实数。

   步骤依据

   这是伴随关系的标准态射集形式，讲师明确将其写在黑板上。

   视频直接表达

本片段确立了所声称的伴随关系记号，并开始展开其态射集表达式，但在所提供的时间内未完成证明。

1. 声音
   观察依据

   讲师引入 $a = 2$ 和 $b = π$，应用函子 F 和 G，接着陈述伴随对应关系，最后写出一般等价式 a ≤ ⌊b⌋ ⇔ $a \le b$。

2. 公式
   观察依据

   黑板上逐步积累示例数值：2、π、$I(2)=2$、⌊π⌋=3，以及最终的等价式。

1. 从同态集对应关系到序关系的中间范畴论翻译并未在黑板上逐步展开；视频片段在给出示例后直接呈现结论。

1. 公式

   $$a = 2,\; b = \pi$$
   解释

   选取一个具体的整数对象和一个具体的实数对象，以建立对伴随关系的直观理解。

   步骤依据

   口头陈述并写在黑板上。

   视频直接表达
2. 公式

   $$F(2)=I(2)=2$$
   解释

   将包含函子应用于整数 2，将其视作实数集中的元素。

   步骤依据

   讲师明确指出，包含函子将 2 映为 $I(2)$，即恰好是 2。

   视频直接表达
3. 公式

   $$G(\pi)=\lfloor \pi \rfloor = 3$$
   解释

   将下取整函子应用于实数 π，得到整数 3。

   步骤依据

   讲师明确指出，下取整函子将 π 映为其下取整值，即 3。

   视频直接表达
4. 公式

   $$\mathbb{R}(i(a),b) \cong \mathbb{Z}(a,i(b))$$
   解释

   运用伴随原理，将实数范畴中的态射与整数范畴中的态射关联起来。

   步骤依据

   这是黑板上预先写好的伴随公式，口头表述为‘此处的一个态射等价于彼处的一个态射’。

   视频直接表达
5. 公式

   $$a \le \lfloor b \rfloor \iff a \le b$$
   解释

   将该对应关系特化到基于序的范畴，并陈述整数 a 与实数 b 所满足的相应等价关系。

   步骤依据

   明确写在黑板上，并由主讲人作为该例题的结论口头陈述。

   视频直接表达

包含函子与取整函子之间的伴随关系给出了具体的序等价式：a ≤ ⌊b⌋ ⇔ $a \le b$，其中 $a \in Z$，$b \in R$。

1. 声音
   观察依据

   讲师说：“因此存在从三到四的态射，因为三小于或等于四；但不存在从四到三的态射。”

说明态射在范畴 $\mathbb{R}$ 中如何运作，使用数字 3 和 4。

1. 对象是实数。

2. 一个态射 $x\to y$ 存在当且仅当 $x\le y$。

3. 比较数对$(3,4)$与$(4,3)$。

确定在3与4之间存在哪些有向态射。

1. 公式

   $$3 \le 4$$
   解释

   检验从3到4的态射所满足的定义性序条件。

   步骤依据

   根据范畴$\mathbb{R}$的定义，态射恰好在此条件下存在。

   视频直接表达
2. 公式

   $$4 \nleq 3$$
   解释

   检验逆序数对。

   步骤依据

   再次依据同一定义，逆态射并不存在。

   视频直接表达

存在态射$3\to 4$，但不存在态射$4\to 3$。

这与主讲人在定义态射规则后立即口述的示例完全一致。

1. 声音
   观察依据

   讲师说：“如果A是二……而B是π……包含函子会将二映射为I(二)，也就是二……取整函子会将π映射为π的下取整，也就是三。”

2. 公式
   观察依据

   黑板上在例题布局中写出 $a = 2$，$b = π$，$I(2) = 2$，以及 ⌊π⌋ = 3。

通过选取一个特定整数和一个特定实数，并对二者分别应用这两个函子，来阐释该伴随关系的例子。

1. A 等于 2，属于整数集

2. B 等于 π，属于实数集 R。

3. F 是包含函子 $Z \to R$

4. G 是取整函子 $R \to Z$

计算所选对象在 F 和 G 下的像，以帮助理解该伴随关系。

1. 公式

   $$F(2)=I(2)=2$$
   解释

   包含函子将整数2映射为实数2。

   步骤依据

   由讲师明确陈述并写在黑板上。

   视频直接表达
2. 公式

   $$G(\pi)=\lfloor \pi \rfloor = 3$$
   解释

   取整函子将π映射为整数3。

   步骤依据

   由讲师明确陈述并写在黑板上。

   视频直接表达

该例子给出$F(2)=2$以及$G(π)=3$。

这些取值符合包含函子与取整函子的标准含义，且直接写在黑板上。

1. 图示
   观察依据

   画面中大幅叠加文字“抽象废话”，覆盖在黑板场景之上。

2. 声音
   观察依据

   主讲人说道：“因此，麦克莱恩有一句著名的话：‘伴随函子无处不在。’”

1. 叠加文字“抽象废话”

2. 写有预先准备好的定义的黑板

1. 叠加文字在开始时出现，并于约6秒时消失。

1. 底层黑板上的定义在叠加文字出现期间仍保持可见。

开场画面在范畴论讲座的语境中引出本主题，并以幽默的叠加文字配合麦克莱恩关于伴随函子的名言。

1. 动画
   观察依据

   讲师转向黑板，指向 𝒜 与 ℬ 之间标有 F 和 G 的箭头。

2. 声音
   观察依据

   他说：“注意它们的方向；它们是朝相反方向延伸的。”

1. 从 𝒜 指向 ℬ、标有 F 的箭头

2. 从 ℬ 指向 𝒜、标有 G 的箭头

3. 讲师的手

1. 讲师的手势将注意力从文字转移到两条箭头上。

1. 范畴 𝒜 和 ℬ 在黑板上保持固定。

视觉强调支持了定义性铺垫：伴随函子是一对方向相反的函子。