范畴论中「极限按底层计算」表述的严格定义咨询

嗨，我来帮你把这个表述的严格含义拆解清楚！你教授说的“this limit is computed underlying”，在集合、交换群这类我们常接触的范畴里，核心指向的是具体范畴的遗忘函子对极限的保持（或创建）性质，下面给你一步步梳理严格定义和细节：

首先，先明确前提：我们讨论的都是具体范畴——也就是一个范畴$\mathcal{C}$，同时配备了一个遗忘函子$U: \mathcal{C} \to \mathbf{Set}$，这个函子的作用是把$\mathcal{C}$中的每个对象映射到它的“底层集合”，把$\mathcal{C}$中的每个态射映射到底层集合上的函数（比如交换群范畴$\mathbf{Ab}$中，$U$把交换群映射到它的元素集合，把群同态映射到集合上的函数）。

1. 核心概念：遗忘函子「保持极限」的严格定义 #

当教授说某个极限“按底层计算”，最基础的含义是：遗忘函子$U$保持该图的极限。严格来说：

• 设$J$是一个小范畴，$F: J \to \mathcal{C}$是$\mathcal{C}$中的一个图（也就是一族对象和态射构成的图表）。
• 若$(L, {\lambda_j: L \to F(j)}{j \in J})$是$F$在$\mathcal{C}$中的极限（即满足极限泛性质的对象和态射族），那么经过遗忘函子作用后得到的$(U(L), {U(\lambda_j): U(L) \to U(F(j))}{j \in J})$，必须是复合图$U \circ F: J \to \mathbf{Set}$在集合范畴$\mathbf{Set}$中的极限。

换句话说：$\mathcal{C}$中这个图的极限，它的底层集合就是集合范畴中对应图的极限集合，而且极限态射的底层函数就是集合范畴里的极限态射。

2. 更强的情况：遗忘函子「创建极限」 #

在很多代数范畴（比如$\mathbf{Ab}$、$\mathbf{Grp}$、$\mathbf{Ring}$）里，情况其实更强——遗忘函子创建极限，这也是教授表述背后更常见的场景，严格定义是：

• 对于$\mathcal{C}$中的任意图$F: J \to \mathcal{C}$，如果$(S, {f_j: S \to U(F(j))}_{j \in J})$是$U \circ F$在$\mathbf{Set}$中的极限，那么：
  1. 存在唯一的$\mathcal{C}$中的对象$L$，使得$U(L) = S$（也就是说这个底层集合$S$上可以唯一赋予$\mathcal{C}$的结构，比如交换群结构）；
  2. 存在唯一的一族态射${\lambda_j: L \to F(j)}_{j \in J}$，使得对每个$j$都有$U(\lambda_j) = f_j$；
  3. 这样得到的$(L, {\lambda_j}_{j \in J})$恰好是$F$在$\mathcal{C}$中的极限。

举个你熟悉的例子：在交换群范畴$\mathbf{Ab}$中，两个交换群$A$和$B$的乘积（这是极限的一种特殊情况），集合范畴里的乘积是$A \times B$，而$\mathbf{Ab}$中的乘积是直和$A \oplus B$——它的底层集合就是$A \times B$，而且这个集合上的交换群结构是唯一的，使得投影态射$\pi_1: A \oplus B \to A$、$\pi_2: A \oplus B \to B$的底层函数就是集合范畴里的投影函数，这就是“按底层计算”的直观体现。

3. 为什么这些范畴满足这个性质？ #

额外补充一个范畴论的小结论：像$\mathbf{Set}$、$\mathbf{Ab}$这类范畴的遗忘函子都是右伴随函子（比如$\mathbf{Ab}$的遗忘函子伴随到“自由交换群”函子），而范畴论中有个基本定理：右伴随函子保持所有极限，这也是这类范畴里极限总能“按底层计算”的底层原因。

备注：内容来源于stack exchange，提问作者Adronic