论文标题
Pretopos II中的稳定类别：通用属性
The stable category of preorders in a pretopos II: the universal property
论文作者
论文摘要
我们证明，与Pretopos $ \ Mathbb C $中内部预订的类别$ \ MATHSF {preord} $ \ Mathsf {preord}相关的稳定类别可满足通用属性。从$ \ Mathsf {preord}（\ Mathbb c）$到稳定类别$ \ Mathsf {stab}（\ Mathbb C）$普遍将$ \ Mathsf {preord}（preord}（preord）中的预费理论转换为经典的Torsical Torsion $ $ \ \ \ MATHBB C）的规范函数。 c）$。这也提供了对Facchini和Finocchiarro首先在特殊情况下首先考虑的稳定类别的构建的分类见解。
We prove that the stable category associated with the category $\mathsf{PreOrd}(\mathbb C)$ of internal preorders in a pretopos $\mathbb C$ satisfies a universal property. The canonical functor from $\mathsf{PreOrd}(\mathbb C)$ to the stable category $\mathsf{Stab}(\mathbb C)$ universally transforms a pretorsion theory in $\mathsf{PreOrd}(\mathbb C)$ into a classical torsion theory in the pointed category $\mathsf{Stab}(\mathbb C)$. This also gives a categorical insight into the construction of the stable category first considered by Facchini and Finocchiaro in the special case when $\mathbb C$ is the category of sets.
