The stable category of internal preorders in a pretopos I: general theory

In a recent article Facchini and Finocchiaro considered a natural pretorsion theory in the category of preordered sets inducing a corresponding stable category. In the present work we propose an alternative construction of the stable category of the category PreOrd(C) of internal preorders in any coherent category C, that enlightens the categorical nature of this notion. When C is a pretopos we prove that the quotient functor from the category of internal preorders to the associated stable category preserves finite coproducts. Furthermore, we identify a wide class of pretoposes, including all σ-pretoposes and all elementary toposes, with the property that this functor sends any short Z-exact sequences in PreOrd(C) (where Z is a suitable ideal of trivial morphisms) to a short exact sequence in the stable category. These properties will play a fundamental role in proving the universal property of the stable category, that will be the subject of a second article on this topic.