范畴中的完全对象
摘要：关于指向范畴中的原始完备、完备、完全*和强完备对象的概念，我们引入了。我们在一个指向精确原始模范畴中的温和条件下，证明了每个原始完备（或完备）对象都是一个阿贝尔原始完备（或完备）对象和一个强完备对象的乘积。这与平凡群是唯一的阿贝尔完备群的观察相结合，恢复了Baer对完备群的分类定理。此外，我们推广了关于中心（或中心化子）平凡的群（子群）的一些定理，并提供了解释为什么完美李代数的导出代数和非阿贝尔（特征）单群的自同态群是强完备的的范畴解释。
作者：James Richard Andrew Gray
论文ID：2102.09834
分类：Category Theory
分类简称：math.CT
提交时间：2021-02-22