伊斯贝尔对偶
摘要：对偶性是数学家喜欢的。在解释了偶性的概念后，我们来介绍其中最纯粹和最美丽的一种：Isbell对偶。对于任何范畴$mathsf{C}$，这个对偶给出了一个自由函子关联到$mathsf{C}$的伪函子范畴，即$[mathsf{C}^{ ext{op}}, mathsf{Set}]$，和对偶于$mathsf{C}$的反对偶函子范畴，即$[mathsf{C}, mathsf{Set}]^{ ext{op}}$。
作者：John C. Baez
论文ID：2212.11079
分类：Category Theory
分类简称：math.CT
提交时间：2022-12-22