论文标题
关于亲本下的精确性特性的稳定性
On stability of exactness properties under the pro-completion
论文作者
论文摘要
在本文中，我们制定并证明了亲完成下精确性特性的一般定理，该定理统一了文献中的几个这样的定理，并提供了更多的定理。定理取决于本文提出的精确特性的形式方法，该方法基于草图理论。我们的稳定性定理在证明精确性属性之间建立链接的定理以及在确定由精确性属性定义的类别类别的类别类别中建立链接的定理。
In this paper we formulate and prove a general theorem of stability of exactness properties under the pro-completion, which unifies several such theorems in the literature and gives many more. The theorem depends on a formal approach to exactness properties proposed in this paper, which is based on the theory of sketches. Our stability theorem has applications in proving theorems that establish links between exactness properties, as well as in establishing embedding (representation) theorems for classes of categories defined by exactness properties.
