局部有界富集范畴
摘要:在(局部有界的)对称幺闭范畴上,我们定义和研究了局部有界增强范畴的概念,推广了Freyd和Kelly提出的局部有界普通范畴。除了证明了构建局部有界增强范畴和局部有界闭范畴示例的一些通用结果外,我们还证明了局部有界增强范畴完全具有许多便利结果,这些结果在局部有界普通范畴中已被证明。特别地,我们对Freyd和Kelly关于正交子范畴和草图和理论模型范畴的可反射性和局部有界性结果进行了全面的增强。我们还提供了关于局部有界增强范畴的特征化结果,这些结果与增强伪函子范畴相关,并且我们还证明了局部有界增强范畴具有有用的伴随函子定理和可表示性定理。另外,我们还定义和研究了在局部有界闭范畴中以$ \alpha $ -有界小加权极限增强,这类似于Kelly在局部$ \alpha $ -可表示闭范畴中的$ \alpha $ -小加权极限增强的概念,并且我们证明了$ \alpha $ -有界小加权极限理论的模型增强范畴是局部$ \alpha $ -有界的。
作者:Rory B. B. Lucyshyn-Wright, Jason Parker
论文ID:2110.07072
分类:Category Theory
分类简称:math.CT
提交时间:2022-04-27