Isbell共轭和自反完备性
摘要：关于范畴的反身补全，指的是那些与自身双共轭有规范同构的集合值函子。在回顾了这种构造和Isbell共轭本身之后，我们给出了新的例子，并在现代范畴论框架下重新审视了Isbell在1960年的主要结果。我们建立了反身补全是函子的意义，并找到了两个范畴具有等价的反身补全的条件。我们描述了反身补全与Cauchy补全之间的关系，确定了在任意反身补全中存在哪些极限和余极限，并确切地描述了范畴的反身补全是与之对偶和逆对偶函子的交集的意义。
作者：Tom Avery and Tom Leinster
论文ID：2102.08290
分类：Category Theory
分类简称：math.CT
提交时间：2021-06-11