范畴论与基础

范畴论通过对象和保持结构的映射来研究数学结构及其关系，为数学提供了一种统一的语言和一种替代性的、结构化的基础。

Definition

范畴论是数学的一个分支，它通过研究范畴、由可复合态射组成的对象集合以及它们之间的函子和自然变换，来抽象数学理论的共同结构，强调关系而非内部构成。

Scope

该领域涵盖范畴、函子和自然变换，泛性质以及极限和上极限的统一概念，伴随函子和米田引理，以及拓扑斯理论，后者概括了集合论并将范畴论与逻辑和数学的替代基础联系起来。

Sub-topics

• 伴随函子
• 范畴、函子和自然变换
• 拓扑斯理论
• 泛性质与极限

Core questions

• 如何通过泛性质统一描述不同的数学构造？
• 两个范畴等价或一个构造是函子性的意味着什么？
• 伴随函子如何在数学中捕捉最优解？
• 拓扑斯如何作为广义的集合宇宙和逻辑的背景？

Key theories

米田引理

一个对象由其进出态射的网络在同构意义上确定，因此每个对象都忠实地嵌入到函子范畴中，从而形式化了结构化观点。

泛性质与极限

许多构造，例如乘积、核和完备化，都被描述为映射问题的泛解，将它们统一为极限或上极限。

伴随函子

伴随关系通过态射的自然对应将方向相反的函子配对，捕捉了自由构造、遗忘函子以及大量最优数学过程。

Clinical relevance

范畴论提供了一种贯穿现代数学和理论计算机科学的统一语言：它组织了代数、拓扑和几何，是同调代数和代数几何的基础，为类型论和函数式编程提供了语义，并通过拓扑斯理论，为集合论基础提供了一种结构性替代方案。

History

范畴论由艾伦伯格（Eilenberg）和麦克莱恩（Mac Lane）于1945年引入，旨在为代数拓扑中的自然变换赋予精确的含义。格罗滕迪克（Grothendieck）在20世纪50年代和60年代利用范畴和拓扑斯理论方法重塑了代数几何，而劳维尔（Lawvere）通过集合范畴的基本理论和拓扑斯的公理理论，将范畴论发展为数学的基础。

Key figures

• Samuel Eilenberg
• Saunders Mac Lane
• Alexander Grothendieck
• F. William Lawvere

Seminal works

• maclane1998
• awodey2010
• riehl2016

Frequently asked questions

为什么范畴论被称为“抽象废话”？

这个昵称（常被亲切地使用）反映了范畴论如何仅使用对象和态射在高度普遍的层面上进行推理，通常在不提及所涉及结构内部细节的情况下统一地证明结果。这种普遍性是其特点，使得论证具有广泛的适用性。

范畴论能否取代集合论作为基础？

拓扑斯理论和结构集合论（例如劳维尔的集合范畴基本理论）提供了足以应对大部分数学的范畴基础。它们是否应该取代集合论仍有争议，但它们提供了一种真正的结构性替代方案，强调关系而非成员资格。