关于Pro-完成下准确性性质的稳定性
摘要：在本文中，我们构建并证明了一个关于精确性性质在专门完成中稳定的通用定理，该定理统一了文献中的几个类似定理，并提供了更多的定理。该定理依赖于本文中提出的基于草图理论的精确性性质的形式方法。我们的稳定定理可以应用于证明建立精确性性质之间联系的定理，以及建立由精确性性质定义的类别类的嵌入（表示）定理。
作者：Pierre-Alain Jacqmin and Zurab Janelidze
论文ID：2002.02204
分类：Category Theory
分类简称：math.CT
提交时间：2020-10-22