如何区分左/右伴随函子？寻求直观记忆方法

哈哈，太懂这种记混左右伴随的痛苦了！我当初学范畴论的时候，也经常对着一对伴随函子挠头——明明知道它们是伴随，可转头就搞反谁左谁右。后来摸索出几个超直观的记忆点，完全不用硬算极限交换性，分享给你：

• “生成/扩张” vs “约束/收缩”
  左伴随几乎都是**“自由生成”或者“往外扩张”的角色，右伴随则是“遗忘约束”**或者“往里收缩”的角色。举两个经典例子：

  • 自由群函子（左伴随）：把集合扩张成带群结构的自由群；遗忘函子（右伴随）：把群的结构“收缩”掉变回集合。
  • 拓扑空间的离散化函子（左伴随）：给集合加上最细的拓扑（扩张结构）；遗忘拓扑的函子（右伴随）：把拓扑去掉变回集合。

• 绑定极限/余极限的直观属性
  你已经提到“余极限是粘合”，那直接对应这个属性记：

  • 左伴随保持余极限——跟着“粘合、拼接、扩张”的余极限走，怎么粘原对象，左伴随就怎么粘它的像；
  • 右伴随保持极限——对应极限是“收拢、聚集、取公共部分”（比如乘积是把对象聚在一起，拉回是取公共部分），右伴随会把这些“收拢”操作完整保留下来。
    记住“左伴余极，右伴极限”，再结合余极限=粘合、极限=收拢，瞬间就能对应上左右！

• 从伴随核心等式反推
  伴随的核心定义式是 Hom(FX, Y) ≅ Hom(X, GY)，其中F是左伴随，G是右伴随。可以这么理解：
  如果你想从F生成的FX映射到Y，相当于不用改动Y，而是把原对象X映射到G“处理”后的GY——F是帮X“升级”到能对接Y的级别，G是帮Y“降级”到能被X对接的级别。所以等式左边的F是左伴随，右边的G是右伴随。

• 单位和余单位的“大小”感
  伴随有两个关键的自然变换：

  • 单位：id → GF——把原对象X放进GF(X)里，通常是“嵌入”或者“变大”的操作（比如集合X→遗忘(自由(X))，X里的元素都变成自由群里的单元素字，相当于X被包含进更大的结构里）；
  • 余单位：FG → id——把FG(Y)收缩回Y（比如自由(遗忘(G))→G，把自由群里的字化简成群元素，相当于“缩小”到原群的规模）。
    所以“变大”方向对应的是左伴随在前，“缩小”方向对应的是右伴随在前。

这些小窍门都是我当年踩坑攒出来的，平时结合具体伴随对（比如自由-遗忘、Hom-张量、幂集-对角函子这些经典例子）验证几次，几乎就不会搞混了！

内容的提问来源于Stack Exchange，提问作者Tim