余极稠密子范畴
摘要：局部呈现性指的是具有由可呈现对象组成的强生成元的可完成范畴。在假设 Vopěnka 原理的前提下，证明一个可完成范畴是局部呈现的当且仅当它有一个余极限稠密的子范畴和一个由可呈现对象组成的生成元。我们进一步证明一个三元集在 $Set^{op}$ 中是余极限稠密的，而可数维空间在 $Vec^{op}$ 中也是余极限稠密的。
作者：J. Ad''amek, A. Brooke-Taylor, T. Campion, L. Positselski, J. Rosick''y
论文ID：1812.10649
分类：Category Theory
分类简称：math.CT
提交时间：2020-12-04