关于Weibel《同调代数导论》引理2.6.14第二部分的疑问

先把Weibel《同调代数导论》第2章第6节的这个核心引理摆出来：

设$I$为滤过范畴，$A:I\longrightarrow \text{Mod-}R$为函子。则：

1. 任意元素$a\in \underset{\rightarrow}{\operatorname{Colim}} (A_i)$都是某$i\in I$中元素$a_i\in A_i$在典范映射$A_i\longrightarrow \underset{\rightarrow}{\operatorname{Colim}}(A_i)$下的像；
2. 对任意$i$，典范映射$A_i\longrightarrow \underset{\rightarrow}{\operatorname{Colim}} (A_i)$的核是所有映射$\varphi:A_i\longrightarrow A_j$（其中$\varphi:i\longrightarrow j$是$I$中的态射）的核的并。

我当初啃这部分的时候也卡过，尤其是证明里“不妨设$i=t$”那步，完全没get到点。后来回头把滤过范畴的定义抠细了，才明白这步其实是在利用滤过范畴的核心性质做简化，我给你拆解下：

首先回忆余极限的构造：$\underset{\rightarrow}{\operatorname{Colim}} A_i$是直和$\bigoplus_{i\in I}A_i$模掉等价关系$\sim$，其中$x\in A_i \sim y\in A_j$当且仅当存在$k\in I$以及态射$i\to k$、$j\to k$，使得$\varphi_{ik}(x)=\varphi_{jk}(y)$。典范映射$\iota_i:A_i\to \underset{\rightarrow}{\operatorname{Colim}} A_i$就是把$a_i$送到它的等价类$[a_i]$。

我们要证的是：$\ker\iota_i = \bigcup_{\varphi:i\to j} \ker\varphi$。

先看简单方向：$\bigcup_{\varphi:i\to j} \ker\varphi \subseteq \ker\iota_i$ #

这个很直观：如果$a_i\in \ker\varphi$（$\varphi:i\to j$），那$\varphi(a_i)=0$，所以在余极限里$[a_i] = [\varphi(a_i)] = [0]$，自然$a_i\in \ker\iota_i$。

关键是反向包含：$\ker\iota_i \subseteq \bigcup_{\varphi:i\to j} \ker\varphi$ #

假设$a_i\in \ker\iota_i$，也就是$[a_i] = [0]$。根据等价关系的定义，存在对象$k\in I$，以及态射$i\to k$、$m\to k$（$m$是任意对象），使得$\varphi_{ik}(a_i) = \varphi_{mk}(0) = 0$。

这时候滤过范畴的核心性质就派上用场了：对任意从$i$出发的态射链，总能找到一个“最终上界”对象，把链上的所有映射压缩成单个从$i$到该上界的态射。

Weibel写“不妨设$i=t$”，其实是在做一个简化：既然$[a_i]=0$，说明存在某条从$i$出发的态射路径把$a_i$映成0，但利用滤过范畴的上界存在性，我们可以把这条路径上的所有中间对象都忽略，直接取最终的那个上界对象作为目标，对应的复合态射（路径上所有态射的复合）的核就包含$a_i$。

换句话说，不用纠结多步映射的繁琐推导，滤过范畴的性质保证了：只要$a_i$在余极限里等价于0，就一定存在某个单个的态射$\varphi:i\to j$，使得$\varphi(a_i)=0$，也就是$a_i\in \ker\varphi$。这样反向包含关系就成立了。

这步“不妨设$i=t$”本质是把复杂的多步映射链简化成单个态射，让证明逻辑更清晰，核心还是滤过范畴的“上界存在性”在起作用。

内容的提问来源于stack exchange，提问作者ngegjnjkgn