嗨，看起来你正在范畴论里摸爬滚打，关于遗忘函子保极限（limits）和余极限（colimits）的问题确实挺绕的，我来帮你理一理～

先说说终端/初始对象的局限性 #

终端对象是0-元极限，初始对象是0-元余极限，但只保这两者完全不足以推出保所有极限或余极限，举个典型例子：

• 群范畴到集合范畴的遗忘函子，它确实保终端对象（平凡群对应单元素集），也保所有有限极限，但它不保余极限——比如两个平凡群的余积是自由群，而集合的余积是不交并，自由群的底层集合显然不是两个单元素集的不交并。
• 反过来，也存在人为构造的函子，它保终端对象但不保二元乘积这类更高元的极限，所以0-元极限的保持性只能代表极小一部分情况。

通用的判断方法 #

这里有几个靠谱的思路，按实用性排序：

• 优先找伴随函子：这是范畴论里最核心的判断准则之一：
  • 如果遗忘函子有右伴随，那么它保所有极限；
  • 如果遗忘函子有左伴随，那么它保所有余极限。
    比如群的遗忘函子左伴随是自由群函子，所以它保所有极限（拉回、乘积、等化子这些）；拓扑空间到集合的遗忘函子既有左伴随（离散拓扑函子）又有右伴随（indiscrete拓扑函子），所以它既保极限又保余极限。
• 直接用极限的泛性质验证：如果找不到伴随函子，就回到定义本身：对目标范畴里的任意图表$D$，验证遗忘函子$U$把$\lim D$映出的对象，是不是满足集合范畴里$\lim UD$的泛性质——也就是看$U(\lim D)$是不是能承接所有从集合$S$到$UD(i)$的映射族，并且满足唯一的分解条件。
• 利用函子的附加性质辅助判断：如果遗忘函子是忠实且保守的（能反射同构），或者是可表的，这些性质有时候能帮你缩小判断范围，但实用性远不如伴随函子定理。

终端/初始对象被保，到底能说明什么？ #

结论很明确：只能说明它保0-元的极限/余极限，仅此而已。更高元的极限（比如二元乘积、拉回）和余极限（余积、推出）完全可能不被保持，刚才群的例子就是最好的证明——它保终端对象，但余积的保持性完全不成立。

小建议 #

遇到具体的遗忘函子，先试着找伴随！比如环范畴到Abel群范畴的遗忘函子，它有左伴随（张量环函子），所以保所有极限；但它没有右伴随，因此不保余极限（比如环的余积是张量积，而Abel群的余积是直和，两者的底层Abel群完全不同），这完全符合伴随函子的结论。

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