伴随函子

伴随函子是成对出现的函子，它们通过态射之间的自然对应关系联系起来，这是一种普遍存在的模式，它捕捉了数学中自由构造、遗忘函子和最优解。

Definition

当从源对象到另一对象像的态射与从该像到该对象的态射之间存在自然双射时，一个函子是另一个反向函子的左伴随函子；这种单一关系为每个对象编码了一个泛性质。

Scope

本主题涵盖了通过同态集（hom-set）的自然双射来定义伴随，通过单位和余单位以及通过泛箭头（universal arrows）的等价表述，右伴随函子对极限的保持和左伴随函子对上极限的保持，伴随函子定理，以及伴随与幺半群（monads）之间的联系。

Core questions

• 什么自然对应关系定义了两个函子之间的伴随？
• 单位和余单位如何编码伴随？
• 为什么右伴随函子保持极限，左伴随函子保持上极限？
• 一个函子何时拥有伴随？

Key theories

同态集伴随

伴随是两个同态函子之间的自然同构，因此每个左伴随函子都为右伴随函子提出的问题提供了自由或最有效的解决方案。

单位、余单位和三角恒等式

伴随也可以通过满足三角恒等式的单位和余单位自然变换来给出，这种描述非常适合计算和定义幺半群。

极限和上极限的保持

右伴随函子保持所有极限，左伴随函子保持所有上极限，这一事实解释了许多连续性和精确性性质，并支持了给出存在判据的伴随函子定理。

Clinical relevance

伴随是数学中最统一的思想之一：自由群、张量-同态关系、Stone-Cech紧化以及逻辑中语法和语义之间的关系都是伴随关系，识别伴随关系可以立即得出泛性质和保持结果，这就是范畴论者将伴随性视为核心概念的原因。

History

Daniel Kan于1958年引入了伴随函子，他认识到自由函子和遗忘函子以及其他对偶构造之间反复出现的模式。Lawvere强调伴随是基础性的，包括语法和语义之间的伴随性，而Freyd的伴随函子定理给出了伴随存在的普遍条件。

Key figures

• Daniel Kan
• Saunders Mac Lane
• F. William Lawvere
• Peter Freyd

Seminal works

• maclane1998
• awodey2010
• riehl2016

Frequently asked questions

伴随的一个常见例子是什么？

自由群函子是遗忘群结构（将其简化为其底层集合）的函子的左伴随函子。从一个集合到群的映射自然对应于从该集合上的自由群到群的同态，这正是伴随双射。

为什么数学家说伴随函子无处不在？

自由构造、完备化、积和指数，以及结构与其更简单影子之间的许多关系都是伴随关系。这种模式如此常见，以至于发现伴随关系通常是找到构造的泛性质及其对极限或上极限的保持的最快途径。