一般极限与余极限 2

1. 公式
   观察依据

   字母“U”被写在黑板上，表示普适锥的顶点。

U

普适锥的顶点（终对象）

范畴中的一个对象

1. 公式
   观察依据

   字母“V”被写在黑板上，表示任意一个对象。

V

范畴中的任意对象

范畴中的一个对象

1. 公式
   观察依据

   符号“∀”写在“V”之前。

∀

对所有

逻辑量词

1. 公式
   观察依据

   符号“∃!”写在虚线箭头的上方。

∃!

存在唯一一个

逻辑量词

1. 声音
   观察依据

   主讲人说：“我们将有一个对象 A。”

2. 图示
   观察依据

   字母‘A’写在乘积图的左侧椭圆内。

A

范畴中的一个对象，用作定义乘积时离散图的一部分。

范畴中的对象

1. 声音
   观察依据

   主讲人说：“还有一个对象 B。”

2. 图示
   观察依据

   字母‘B’写在乘积图的右侧椭圆内。

B

范畴中的另一个对象，在定义乘积的离散图中与 A 并用。

范畴中的对象

1. 声音
   观察依据

   主讲人说：“它将是一个顶点 U。”

2. 图示
   观察依据

   字母‘U’写在乘积锥图顶部的顶点处。

U

泛锥的顶点，表示对象 A 与 B 的乘积。

范畴中的对象

1. 声音
   观察依据

   主讲人说：“给定任意另一个圆锥……这是另一个圆锥。”

2. 图示
   观察依据

   字母‘V’写在第二个圆锥图的顶点（顶端）处。

V

同一离散图示上任意一个圆锥的顶点，用于表述其泛性质。

范畴中的一个对象

1. 声音
   观察依据

   主讲人说：“存在唯一的分解方式。”

2. 图示
   观察依据

   符号‘∃!’写在从 V 指向 U 的虚线箭头旁。

∃!

存在唯一的态射。

逻辑量词

1. 声音
   观察依据

   讲师说：“这次我们这里有一个对象，称为 A。”

2. 图示
   观察依据

   一个标有 A 的白板节点被画出，作为拉回图的一部分。

A

拉回构造的底图中的一个对象。

范畴中的一个对象

1. 声音
   观察依据

   讲师说：“这里还有一个对象 B。”

2. 图示
   观察依据

   一个标有 B 的白板节点被画出，作为拉回图的一部分。

B

拉回构造的底图中的一个对象。

范畴中的一个对象

1. 声音
   观察依据

   讲师说：“这里还有一个对象 C。”

2. 图示
   观察依据

   一个标有 C 的白板节点被画出，作为拉回图的一部分。

C

拉回构造的底图中的一个对象。

范畴中的一个对象

1. 声音
   观察依据

   主讲人说：“终对象是空图示上的极限。”

2. 公式
   观察依据

   黑板上显示“终对象”、一个空椭圆、“U”以及公式“∀ V ∃! V ---> U”。

范畴中的终对象定义为空图示上的极限。几何上，这意味着它是对不含任何对象或态射的图示的通用锥。其泛性质指出：对范畴中任意其他对象 V，存在唯一态射 $V \to U$。

1. 适用于任意范畴

2. V 是任意对象

3. U 是终对象

1. 通用锥

1. 声音
   观察依据

   主讲人说：“上一次我们看到，范畴中一个图示的极限，是该图示上的通用锥。”

2. 图示
   观察依据

   黑板上画有一个蓝色锥（通用锥）和一个橙色锥，二者之间有一条粉红色虚线分解箭头。

范畴中一个图示的极限，是该图示上的通用锥。通用锥具有如下性质：对该图示的任意其他锥，都存在唯一分解态射经由它。

1. 适用于范畴中的一个图示

1. 声音
   观察依据

   主讲人陈述：“积将是对如下图示取极限……我们将有一个对象 A 和一个对象 B，且它们之间没有态射……那么，一个泛圆锥会是什么？它将是一个顶点 U，并配备投影映射。”

2. 图示
   观察依据

   主讲人画出一个图示：两个互不相连的椭圆，分别标为 A 和 B；另有一个顶点 U，带有指向 A 和 B 的箭头。

两个对象 A 和 B 的积被定义为由 A 和 B 构成的离散图示（其间无任何态射）的极限。该图示的泛圆锥具有一个顶点 U，并配备指向 A 和 B 的投影映射。

1. 底图由两个对象 A 和 B 组成。

2. 底图中 A 与 B 之间不存在态射。

1. 声音
   观察依据

   说话者说：‘是拉回……拉回是如下这类图的极限。’

2. 图示
   观察依据

   说话者在黑板上写下单词‘Pullback’。

1. 本片段中未绘制或描述拉回所对应的特定图。

拉回被引入为某类特定图的极限。该图的具体结构在本视频片段中未给出。

1. 声音
   观察依据

   讲师讲解：对含有对象 A、B、C 及其之间态射的图示取一个通用锥体，并指出那些可交换三角形等价于声明一个可交换正方形。

2. 图示
   观察依据

   讲师画出一个含节点 A、B、C 的图示，再添加一个顶点 U，并画出从 U 到 A、B、C 的投影态射，然后画出由 U、A、B、C 构成的一个正方形。

拉回被定义为对一个特定图示的通用锥体，该图示包含对象 A、B、C 以及从 A 到 C 和从 B 到 C 的态射；该锥体具有顶点 U 及指向 A、B、C 的投影态射；两个三角形可交换这一条件，等价于 U、A、B、C 所构成的正方形可交换。

1. 底图由对象 A、B、C 以及态射 $A \to C$ 和 $B \to C$ 构成。

2. 该锥的顶点为 U，投影态射为 $U \to A$、$U \to B$ 和 $U \to C$。

3. 由投影态射与底图中的态射所构成的三角形必须可交换。

1. 声音
   观察依据

   讲师反复提及在该图上取一个“普适锥”，并讨论其性质，包括对投影态射及可交换条件的要求。

2. 图示
   观察依据

   讲师先画出以 U 为顶点、位于图 A、B、C 上的锥，然后开始画另一个以 V 为顶点的锥，以说明普适性。

一个图上的普适锥，是指满足特定普适性质的锥：在拉回的语境中，它是以 U 为顶点的锥，使得对任意另一个以 V 为顶点、位于同一图上的锥，都存在唯一态射 $V \to U$，使得所有相关的三角形均可交换。

1. 它是给定图上的一个锥。

2. 它关于该图上所有其他锥满足普适性质。

1. 通过通用锥体定义拉回

1. 图示
   观察依据

   黑板上展示了一个拉回方块图，其顶点为 U、A、B、C，并有一个外部锥顶点 V，带箭头分别指向 A 和 B；随后从 V 到 U 画出一条虚线箭头。

2. 声音
   观察依据

   主讲人解释道：为使该锥成为锥，图示外圈必须可交换；接着指出，还需存在唯一的分解态射，使得所诱导的两个三角形均可交换。

拉回被呈现为一个方形图示的极限。首先，该方形图示上的一个锥必须使其外圈可交换：即从锥顶点 V 到 C 的两条路径——〔V -> A -> C〕与〔V -> B -> C〕——必须相等。其次，泛性质要求存在唯一的分解态射，从 V 指向拉回顶点 U，使得所诱导的三角形均可交换。主讲人明确将此情形与积的情形作比较：在积的情形中，唯一的分解态射同样使得相应三角形可交换。

1. 存在一个以 U 为顶点、并带有指向 A 和 B 的边的方形图示，且存在从 A 和 B 到 C 的态射。

2. V 是同一图示上另一个锥的顶点。

3. 从 V 到 C 的外圈方形条件必须可交换。

4. 通过 U 的分解是使三角形可交换所必需的。

1. 图示
   观察依据

   在讲完拉回的解释后，讲师写下标题“等化子”，并画出一个由两个对象通过一对平行箭头连接而成的图示。

2. 声音
   观察依据

   讲师说：‘我们可以引入等化子的概念’，然后将其定义为‘对一对平行箭头的极限’。

一旦一般极限可用，讲师便将等化子作为极限的另一个例子来介绍。其索引图是一对平行箭头，即两个具有相同源与相同目标的态射。因此，等化子就是该双箭头图上的终锥。

1. 索引图是一对平行箭头。

2. 该构造是在一般极限框架内进行的。

1. 拉回作为极限的泛性质

1. 图示
   观察依据

   在‘等化子’标题下方，讲师在包含平行箭头的椭圆上方画出一个顶点 V，并添加两条从 V 指向下方对象的箭头。

2. 声音
   观察依据

   讲师称等化子将是一个锥，并将其描述为一个配备了一对投影的顶点。

对于等化子图，一个锥由一个顶点 V 以及从 V 到平行箭头各对象的态射组成。在所画图示中，讲师特别强调了从 V 指向平行箭头公共目标端的那一对箭头，并将它们视为该锥的投影。下一步是对由此形成的三角形施加可交换条件。

1. 底图是一对平行箭头。

2. 它的一个锥由一个顶点以及指向该图示中各对象的态射构成。

1. 作为一对平行箭头之上的极限的等化子

1. 声音
   观察依据

   主讲人讲解了可交换性条件与泛性质，最后总结道：“这就是等化子的定义。”

2. 图示
   观察依据

   主讲人画出了完整的等化子图示，包括两条平行箭头、等化映射以及唯一的分解箭头。

一对平行态射的等化子$f, g: X \to Y$是一个态射$e: E \to X$，使得$f \circ e = g \circ e$，且该态射关于此性质是泛的。这意味着对任意满足$v: V \to X$的其他态射$f \circ v = g \circ v$，存在唯一的态射$u: V \to E$，使得$e \circ u = v$。

1. 该范畴必须具备所需的态射及复合运算。

2. $f$ 和 $g$ 是平行态射。

3. $e$ 等化 $f$ 和 $g$。

4. 分解态射 $u$ 是唯一的。

1. 交换图

1. 声音
   观察依据

   主讲人反复使用“可交换”和“交换性”这两个术语，来描述图中箭头之间的关系。

2. 图示
   观察依据

   主讲人指向图中不同的路径，并指出它们必须相等。

若一个范畴中的图满足：对任意给定的源对象与目标对象，沿任意两条有向路径复合所得的两个态射均相等，则该图为交换图。

1. 适用于范畴论中的图。

1. 声音
   观察依据

   主讲人明确陈述了极限的定义。

范畴中一个图示的极限，是该图示上的一个泛锥。

1. 该图示存在于某个范畴中

对任意一个范畴中的图示

1. 声音
   观察依据

   说话者陈述：‘泛性质指出，对任意其他以 V 为顶点的锥……存在唯一的分解……因此这里标出了‘存在且唯一’。再次强调，这里的‘橙色部分’表示‘对所有……’。’

2. 图示
   观察依据

   说话者画出第二个以 V 为顶点的锥，并添加一条从 V 指向 U 的虚线箭头，其上标注‘∃!’。

对离散图 A 和 B 的任意其他以 V 为顶点的锥，均存在唯一的从 V 到 U 的态射，使得所得三角形可交换。

1. U 是泛锥（即积）的顶点。

2. V 是同一离散图示上任意一个锥体的顶点。

对所有锥体 V，均存在唯一的态射 $V \to U$。

1. 声音
   观察依据

   讲师指出，对角线部分隐藏着一个秘密三角形，但只要其他部分可交换，该三角形便会自动可交换。

2. 图示
   观察依据

   拉回方块中包含一条经由 C 的对角路径，讲师在讨论可交换性时，指着图中可见的各个三角形。

在拉回方块中，一旦两个明确标出的外三角形可交换，则对应于对角路径的三角形便会自动可交换。

1. 该图示即为所展示的拉回方块。

2. 涉及 V、A、B 和 C 的相关外三角形可交换。

针对锥顶点 V 以及当前讨论的固定拉回方块。

1. 声音
   观察依据

   讲师陈述：‘等化子将是平行一对箭头上的极限。’

2. 图示
   观察依据

   黑板标题‘等化子’后画出了两个对象，并由两条平行箭头连接。

等化子是形状为一对平行箭头的图示的极限。

1. 极限的概念此前已在一般情形下介绍过。

对于考虑此类极限的任意范畴，视频中并未额外陈述假设条件。

1. 声音
   观察依据

   主讲人解释了将图示收缩至空图示的几何直观。

2. 公式
   观察依据

   在黑板上逐步写出泛性质公式。

1. 公式

   $$$$
   解释

   从极限作为图示上的泛锥这一一般定义出发。

   步骤依据

   对上一讲内容的回顾。

   视频直接表达
2. 公式

   $$$$
   解释

   考虑底图示为空（不包含任何对象或态射）的情形。

   步骤依据

   终对象被定义为对空图示取极限所得的对象。

   视频直接表达
3. 公式

   $$$$
   解释

   如果图示为空，则其上的锥仅由一个顶点构成，无需任何边。

   步骤依据

   空图示上锥的几何解释。

   视频直接表达
4. 公式

   $$\forall V \exists! V \longrightarrow U$$
   解释

   泛性质要求：对任意其他锥（即仅为一个对象 V），存在唯一一个到泛锥顶点（U）的态射。

   步骤依据

   将泛性质定义应用于这一简化结构。

   视频直接表达

终对象 U 的特征是：对每个对象 V，恰好存在一个从 V 到 U 的态射。

1. 声音
   观察依据

   讲师指出：“这个三角形可交换条件所表达的意思是……该投影态射就只是这个复合态射……因此，说那两个三角形可交换，等价于忽略这个复合态射，而直接声明这必须是一个可交换的方块。”

2. 图示
   观察依据

   讲师先指向所画锥中的两个三角形，再画出外围的方块，以展示这种等价关系。

1. 公式

   $$$$
   解释

   考虑以 U 为顶点、向 A、B 和 C 投影的锥，其底图包含态射 A -> C 和 B -> C。

   步骤依据

   黑板上所画的拉回图的构造。

   视频直接表达
2. 公式

   $$$$
   解释

   交换三角形条件要求：路径 U -> A -> C 等于直接路径 U -> C，且路径 U -> B -> C 也等于直接路径 U -> C。

   步骤依据

   锥在底图上的定义：要求对底图中每一条态射都满足交换性。

   视频直接表达
3. 公式

   $$$$
   解释

   因此，复合态射 U -> A -> C 必须等于复合态射 U -> B -> C。

   步骤依据

   等式的传递性：因为这两个复合态射都等于 U -> C。

   依据视频推导
4. 公式

   $$$$
   解释

   这两个复合态射相等，恰好就是由 U、A、B 和 C 构成的方块可交换的条件。

   步骤依据

   交换方块的定义。

   视频直接表达

锥的两个三角形可交换这一要求，在逻辑上等价于要求外侧方块可交换，而这正是表达拉回的标准方式。

1. 声音
   观察依据

   主讲人首先解释锥条件，接着指出必须存在唯一的分解使得各三角形可交换，最后将该情形与积图进行类比。

2. 图示
   观察依据

   主讲人指出拉回方块中的外层可交换条件及其中的三角形后，画出一条从 V 指向 U 的虚线箭头。

1. 公式

   $$V \to A \to C = V \to B \to C$$
   解释

   为使 V 构成对拉回方块的一个锥，拉回图的外圈必须可交换。

   步骤依据

   主讲人直接将其表述为锥所满足的条件。

   视频直接表达
2. 公式

   $$\exists!\, f : V \to U$$
   解释

   给定这样一个锥，泛性质断言存在唯一一个从 V 到拉回顶点 U 的分解态射。

   步骤依据

   主讲人指出此处必须存在唯一的分解，并画出从 V 指向 U 的虚线箭头。

   视频直接表达
3. 公式

   $$f ; (U \to A) = (V \to A), \quad f ; (U \to B) = (V \to B)$$
   解释

   该分解需使得三角形可交换，即：分别与 U 出发的两个投影复合后，恰好复原原先从 V 到 A 和 B 的映射。

   步骤依据

   主讲人明确指出，这一唯一分解必须使三角形可交换，并指向相关三角形。

   视频直接表达
4. 公式

   $$f ; (U \to A) ; (A \to C) = f ; (U \to B) ; (B \to C)$$
   解释

   一旦前述三角形等式成立，余下的对角三角形便自动可交换。

   步骤依据

   主讲人称其为‘秘密三角形’，并指出只要其他部分满足条件，该三角形便自动可交换。

   视频直接表达

拉回由一个锥的可交换性条件以及一个经由U的唯一分解所刻画，该分解使得三角形可交换，而对角线三角形则随之自动可交换。

1. 声音
   观察依据

   主讲人从拉回过渡到另一个极限的例子，将其命名为‘等化子’，随后开始绘制其锥形结构。

2. 图示
   观察依据

   黑板上先出现标题‘等化子’，接着画出一组平行箭头图，再在其上方添加一个顶点V，并从V向下引出两条箭头指向下方的对象。

1. 公式

   $$\text{Equalizer} = \lim( X \rightrightarrows Y )$$
   解释

   等化子被介绍为一组平行箭头的极限。

   步骤依据

   主讲人在指出一般极限允许另一例之后，直接陈述了这一点。

   视频直接表达
2. 公式

   $$V \xrightarrow{p_1,p_2} Y$$
   解释

   针对该图示所画出的一个锥，其顶点为V，并有两条箭头向下指向平行箭头的公共目标端。

   步骤依据

   主讲人称其为一个配备了一对投影的顶点，并准确地画出了这一结构。

   视频直接表达
3. 公式

   $$\text{commuting condition on two triangles}$$
   解释

   主讲人开始分析可交换性条件，指出尽管它看起来像一个加粗的三角形，但实际上需考虑两个三角形。

   步骤依据

   这是视频片段结尾处接下来的口头步骤。

   视频直接表达

等化子是通过对一组平行箭头取所有锥、再施加相应的可交换性条件而得到的；该片段结束于主讲人刚开始明确说明‘两个三角形’条件之时。

1. 声音
   观察依据

   主讲人说道：“我们的任何其他锥条件都指出，如果我们有另一个……那么必须存在唯一的分解，使得这个三角形可交换。”

2. 图示
   观察依据

   主讲人画出对象V、从V到X的映射、指向E的虚线唯一映射，并解释所得三角形的可交换性。

1. 公式

   $$f \circ e = g \circ e$$
   解释

   映射 $e: E \to X$ 等化平行映射 $f$ 和 $g$。

   步骤依据

   等化子的定义。

   视频直接表达
2. 公式

   $$f \circ v = g \circ v$$
   解释

   考虑另一个对象 $V$，它带有一个映射 $v: V \to X$，该映射也等化 $f$ 和 $g$。

   步骤依据

   泛性质的设定。

   视频直接表达
3. 公式

   $$\exists! u: V \to E \text{ such that } e \circ u = v$$
   解释

   存在唯一的映射$u$，从$V$到$E$，使得该三角形可交换。

   步骤依据

   等化子的泛性质。

   视频直接表达

等化子$e: E \to X$是等化$f$与$g$的泛对象。

1. 图示
   观察依据

   左下角的图示区域标为“拉回”，其中包含一个顶点为 U、A、B、C 的正方形，以及一个外部顶点 V 和一条虚线箭头 V -> U。

2. 声音
   观察依据

   讲师使用这幅精确的图示来讲解锥条件、唯一分解性，以及与积图示的对比。

解释：一个以 V 为顶点、覆盖所展示拉回正方形的锥，满足拉回的泛性质意味着什么。

1. 一个以 U 为顶点、两条边分别指向 A 和 B 的正方形图示。

2. 从 A 和 B 到 C 的态射。

3. 一个外部锥顶点 V，带有指向 A 和 B 的态射。

指出拉回的交换性条件与唯一分解性条件。

1. 公式

   $$V \to A \to C = V \to B \to C$$
   解释

   首先要求正方形外围交换，从而确保 V 确实定义了该图示上的一个锥。

   步骤依据

   讲师将此表述为锥所须满足的条件。

   视频直接表达
2. 公式

   $$\exists!\, V \to U$$
   解释

   然后要求存在一条从 V 到 U 的唯一虚线箭头。

   步骤依据

   讲师在画出该虚线箭头时指出，必须存在唯一的分解。

   视频直接表达
3. 公式

   $$\text{triangles commute}$$
   解释

   这条唯一的箭头必须使得经由 A 和 B 的三角形可交换。

   步骤依据

   讲师明确指出。

   视频直接表达
4. 公式

   $$\text{diagonal triangle automatic}$$
   解释

   一旦其余部分可交换，隐藏的对角线三角形便自动可交换。

   步骤依据

   讲师明确指出。

   视频直接表达

拉回是对象 U，它配备指向 A 和 B 的映射，使得任意关于该正方形的锥 V 都能唯一地经由 U 分解，且外侧正方形可交换、诱导出的三角形也可交换。

讲师通过将其与积图示比较来验证该结构，其中唯一的分解同样使得相关三角形可交换。

1. 图示
   观察依据

   黑板右侧添加了标题“等化子”，并画出一个新图示：两个对象由一对平行箭头连接，其上方还有一个顶点 V。

2. 声音
   观察依据

   讲师表示，在一般极限概念已知之后，可以引入另一个例子：等化子。

1. 完整的等化子泛性质在此120秒片段中并未完成。

将等化子作为极限的一种特例引入，并开始描述其锥形结构。

1. 极限的一般概念此前已作讲解。

2. 黑板上画出一对平行箭头。

定义等化子，并开始指定该平行箭头对上的锥。

1. 公式

   $$\text{Equaliser}$$
   解释

   在黑板上写下新的标题。

   步骤依据

   在后续画面中可见。

   视频直接表达
2. 公式

   $$X \rightrightarrows Y$$
   解释

   将索引图绘制成一对平行箭头。

   步骤依据

   主讲人称等化子是平行箭头对上的极限，并画出该形状。

   视频直接表达
3. 公式

   $$V \to Y \text{ twice}$$
   解释

   在箭头对上方画一个顶点 V，并添加一对从 V 指向下方对象的箭头。

   步骤依据

   主讲人称这是一个配备了一对投影的顶点，并恰好画出了该结构。

   视频直接表达

等化子是平行箭头对的极限；其锥由一个顶点 V 和两条指向该箭头对公共靶端的向下箭头构成。

主讲人从交换性条件入手进行验证，指出实际上需考虑两个三角形，但视频片段在此条件完全写出前结束。

1. 动画
   观察依据

   主讲人画一个空椭圆表示空图示，然后在它上方写上‘U’，最后添加‘V’及唯一的态射箭头。

1. 空椭圆（空图示）

2. 字母 U（终对象）

3. 字母 V（任意对象）

4. 带∃!的虚线箭头（唯一态射）

1. 绘制空椭圆

2. 在椭圆上方书写 U

3. 在左侧书写 V

4. 画出从 V 到 U 的唯一态射箭头

5. 添加全称量词 ∀ 和存在量词 ∃！

1. 右侧的复杂数学图示保持不变

该视觉序列展示了空图示上的极限这一抽象定义，如何简化为终对象的具体泛性质。

1. 图示
   观察依据

   主讲人画出两个分别标为 A 和 B 的椭圆，然后在它们上方画出一点 U，并画出从 U 指向 A 和 B 的箭头。

1. 椭圆 A

2. 椭圆 B

3. 顶点 U

4. 箭头 $U\to A$

5. 箭头 $U\to B$

1. 为 A 和 B 构造离散图示。

2. 构造具有投影映射的泛锥体 U。

1. 对象 A 和 B 在底图示中保持互不连通。

该图示序列通过构造离散图示的极限，直观呈现了积的范畴论定义，展示了底对象以及泛锥的顶点与投影。

1. 图示
   观察依据

   主讲人绘制了一个新顶点 V，并画出从 V 指向 A 和 B 的箭头，再画一条从 V 到 U 的虚线箭头，并标注为“∃!”。

1. 顶点 V

2. 箭头 $V\to A$

3. 箭头 $V\to B$

4. 虚线箭头 $V\to U$

5. 符号 ∃!

1. 添加一个任意的锥 V。

2. 添加从 V 到 U 的唯一分解态射。

1. 原有的泛锥 U 与底图示 A、B 保持不变。

该图示步骤演示了积的泛性质，说明任一其他锥 V 均可通过泛锥 U 唯一分解。

1. 动画
   观察依据

   讲师依次画出节点 A、B、C，它们之间的态射，顶点 U，从 U 出发的投影态射，最后是顶点 V 及其态射。

1. 节点 A、B、C、U、V

2. 节点之间的态射

3. 交换正方形

1. 节点和态射按顺序逐个添加，以构建该图示。

2. 添加一条从 U 到 C 的对角态射，随后在概念上将其移除，从而构成一个正方形。

3. 最后添加一个新的顶点 V 及其对应的态射。

1. A、B 和 C 的相对位置一旦画出便保持固定。

这种可视化构造逐步建立起拉回的定义：即作为一个泛锥，同时展示交换条件如何导出标准的交换正方形表示。

1. 动画
   观察依据

   在约23秒至31秒之间，主讲人从外部顶点 V 向拉回方块的左上角对象 U 画出一条虚线箭头。

2. 声音
   观察依据

   这一绘图对应于此处必须存在唯一因子分解的陈述。

1. 外部顶点 V

2. 拉回顶点 U

3. 虚线箭头 $V \to U$

1. 新增一条从 V 到 U 的虚线态射。

1. 以 U、A、B、C 为顶点的基础拉回正方形保持不变。

2. 已有的从 V 到 A 和从 V 到 B 的箭头保持原位。

该虚线箭头直观地表示拉回的泛性质所要求的唯一中介态射。

1. 动画
   观察依据

   大约在68至87秒之间，讲师写下标题“等化子”，并画出一个椭圆，其中包含两个由两条平行箭头连接的对象。

2. 动画
   观察依据

   大约在93至110秒之间，一个顶点 V 被写在椭圆上方，并从 V 向下画出两条箭头指向下方的对象。

1. 等化子椭圆内两个对象的标签不够清晰可辨。

1. 等化子标题

2. 包含一对平行箭头的椭圆形图示

3. 顶点 V

4. 从顶点 V 向下引出两条箭头

1. 新增一个章节标题。

2. 绘制一个呈平行箭头形状的新索引图。

3. 在平行箭头图示上方添加一个等化子顶点 V 及其两条投影箭头。

1. 先前的终对象、积、中心图示及拉回章节仍保留在黑板上。

该视觉序列先将等化子作为另一类极限示例引入，随即立即展示其索引图上的锥形结构。

1. 动画
   观察依据

   讲师擦去之前复杂的图表，并逐步画出等化子图表，同时添加标签和箭头。

1. 黑板

2. 粉笔

3. 讲师

1. 讲师在两个对象之间画出两条平行箭头。

2. 讲师画出一个新的对象E，并画出一条箭头e指向平行箭头的定义域。

3. 讲师写出等式fe = ge。

4. 讲师画出另一个对象V，并画出一条箭头指向平行箭头的定义域。

5. 讲师从 V 到 E 画了一条虚线的唯一箭头。

6. 讲师将最终的图框出。

1. 平行态射与泛性质的概念仍是重点。

视觉上的逐步推演，从其直观的几何表示出发，构建出等化子的严格定义。

1. 声音
   观察依据

   讲师说：“你会注意到我有点取巧，因为我本该也画出一条指向 C 的投影映射……实际上，这才真正是一个锥的样子。”

学生可能认为，该图示上的一个锥只需具备指向 A 和 B 的投影映射即可。

一个真正的锥必须具备指向底图中每个对象的投影映射，包括 C。然而，交换条件使得指向 C 的这个映射成为冗余，因而拉回可简洁地表示为一个交换正方形。

1. 声音
   观察依据

   讲师说道：‘其实，这里还隐含着一条一直通到底部的态射’，随后解释道：对于锥条件，这条态射可被忽略，因为外圈必须可交换。

人们可能只关注正方形周围明确画出的箭头，而忽略经由 C 的对角路径。

主讲人强调，沿对角线方向也存在一个态射，但锥条件是通过要求图的外圈可交换来表达的；一旦其余部分可交换，隐藏的对角三角形便会自动满足。

1. 声音
   观察依据

   主讲人说，看起来像是有一个带加粗部分的三角形，但实际上有两个。

所画出的等化子锥看起来像是一个底边被加粗的三角形。

主讲人明确纠正这一点，指出实际上有两个三角形，分别对应指标图中的两条平行箭头。

1. 声音
   观察依据

   主讲人将终对象直接与空图示上的极限概念联系起来。

终对象是极限这一普遍概念的一个特例，其底层图示为空。

1. 声音
   观察依据

   主讲人说：“积将由以下图示所定义的极限给出。”

积被呈现为范畴极限的一个特例，该极限定义在一个包含两个对象的离散图示上。

1. 声音
   观察依据

   讲师通过显式构造并分析该图示上的一个泛锥来定义拉回。

拉回的概念被定义为对某一特定图示形状上的泛锥这一普遍概念的具体应用。

1. 声音
   观察依据

   主讲人将当前图示与积图示进行对比，指出积的底图中没有态射，因此其锥无需满足额外的交换条件。

2. 图示
   观察依据

   主讲人在讲解差异时，指向黑板右侧先前画出的‘积’图示。

拉回与积形成对比：二者虽同为泛锥，但拉回的底图包含态射（$A\to C$、$B\to C$），从而施加了额外的交换条件，这些条件最终归结为一个交换正方形；而积的底图则不含此类态射。

1. 声音
   观察依据

   主讲人结束对拉回的讲解后说道：‘现在我们已经知道如何一般地取极限，就可以引入等化子的概念了。’

等化子被作为极限通用机制的另一个应用来介绍，而该机制此前已通过拉回示例加以说明。

1. 声音
   观察依据

   主讲人说，这就像这个积的情形一样，其中唯一分解条件指出：存在唯一的映射，使得这些三角形可交换。

2. 图示
   观察依据

   黑板上同时显示右上方的‘积’部分和左下方的‘拉回’部分。

在此片段中，拉回的泛性质与积的泛性质被加以比较，以强调二者均通过唯一分解使三角形可交换来表达；此处并未重新定义积，仅将其用作类比。

1. 声音
   观察依据

   视频标题为“一般极限与余极限2”，讲师在讲解等化子的同时，也讨论了积与拉回，它们是极限的标准例子。

等化子的定义依赖于交换图的概念，以表达其泛性质。

1. 声音
   观察依据

   主讲人定义终对象。

1. 作为空图示上极限的终对象

1. 声音
   观察依据

   主讲人回顾极限的定义。

1. 通用锥

1. 声音
   观察依据

   主讲人将积定义为某个特定图示上的极限。

1. 作为极限的积的定义

1. 声音
   观察依据

   主讲人解释了涉及唯一分解的泛性质。

1. 积的泛性质

1. 声音
   观察依据

   整段内容专门用于通过泛锥来定义并解释拉回。

1. 通过通用锥体定义拉回
2. 普适锥

1. 声音
   观察依据

   主讲人明确推导出拉回锥中交换三角形与交换正方形之间的等价性。

1. 可交换三角形与可交换方块的等价性

1. 声音
   观察依据

   主讲人比较了拉回与积各自的锥条件。

1. s240-cr-product-pullback

1. 声音
   观察依据

   主讲人解释道：要使该锥成为锥，图的外圈必须可交换。

1. 拉回作为极限的泛性质

1. 图示
   观察依据

   在讲解唯一分解时，画出了一条从 V 到 U 的虚线箭头。

2. 声音
   观察依据

   主讲人指出，必须存在一个唯一分解，使得两个三角形均交换。

1. 拉回作为极限的泛性质
2. 由锥条件推导拉回的泛性质

1. 声音
   观察依据

   主讲人提到，对角部分隐藏着一个秘密三角形，它自动交换。

1. 拉回锥条件中对角三角形的冗余性
2. 由锥条件推导拉回的泛性质

1. 声音
   观察依据

   主讲人将等化子定义为对一对平行箭头取极限。

1. 作为一对平行箭头之上的极限的等化子
2. 等化子作为极限的定义

1. 图示
   观察依据

   主讲人在平行箭头对上方画出一个顶点 V，并添加两条向下的箭头。

2. 声音
   观察依据

   主讲人描述了一个配备一对投影的顶点。

1. 等化子的锥结构
2. 将等化子设定为对一组平行箭头所构成图示的一个锥。