filtered colimit（滤过余极限/滤过上极限）：范畴论中的一种余极限，指由滤过范畴（filtered category）作为指标范畴的图表（diagram）所取的余极限。直观上，它把“沿着不断向后兼容、可共同细化的方向逐步拼接起来”的对象统一成一个“极限性的并合”。在许多常见情形下，它类似于代数里的定向并（direct limit）/归纳极限（inductive limit）。
/ˈfɪltərd ˈkɑːlɪmɪt/
A filtered colimit can be thought of as a directed union in many algebraic settings.
在许多代数语境中，滤过余极限可以理解为一种“定向并”。
In the category of sets, filtered colimits commute with finite limits, which is why they preserve many finitary constructions.
在集合范畴中，滤过余极限与有限极限可交换，这也是它们能保持许多有限构造的原因。
colimit 来自前缀 co-（“对偶/反向”之意，表示与 limit 的对偶概念）+ limit（极限）。filtered 原意是“经过筛选的”，在范畴论里转义为“滤过的/可共同细化的”：强调指标范畴中任意有限信息都能在某个更“靠后”的阶段被统一协调，从而使“逐步并合”的过程良好定义。
Select Language