本地有限呈现加性范畴中纯度的特征：一个简短的函子证明
摘要：在本篇阐述性文章中，我们将给出一种有效的泛函证明方法，证明了在一个有限可达加性范畴$mathcal C$中纯度的各种表征的等价性。对于特定选择的$mathcal C$，其证明的复杂性包含在对$(operatorname{fp}mathcal C,mathrm{Ab})$中fp-可插入对象和可插入对象的描述中，其中$mathcal C omathrm{Ab}用完全受限对象描述$。例如，在模范畴$mathcal Amathrm{-Mod}$中，很多关于纯度的表征等价也是我们所证明的简单推论，因为我们知道在$(mathcal Amathrm{-mod},mathrm{Ab})$中哪些对象是fp-可插入的，哪些对象是可插入的。
作者：Samuel Dean
论文ID：1702.07184
分类：Representation Theory
分类简称：math.RT
提交时间：2023-04-25