The stable category of preorders in a pretopos. II: The universal property (Q2088041)

\textit{A. Facchini} and \textit{C. A. Finocchiaro} [Ann. Mat. Pura Appl. (4) 199, No. 3, 1073--1089 (2020; Zbl 1481.18002)] observed that, in the category, \(\mathsf{PreOrd}\),of pre-ordered sets, there is a natural pretorsion theory, \((\mathsf{Eq},\mathsf{ParOrd})\), where \(\mathsf{Eq}\) is the \textit{torsion} subcategory of equivalence relations and \(\mathsf{ParOrd}\) is the \textit{torsion-free} subcategory of partial orders. Writing \(\mathcal{Z}\) for \(\mathsf{Eq}\cap\mathsf{ParOrd}\), and calling a morphism \textit{\(\mathcal{Z}\)-trivial} if it factors via an object in \(\mathcal{Z}\), this just amounts to the observations that any morphism from an equivalence relation to a partial order is \(\mathcal{Z}\)-trivial, whilst any preorder fits in a canonical \(\mathcal{Z}\)-trivial exact sequence, analogous to the torsion subobject / torsion-free quotient exact sequence in a classical torsion-theoretic setting. The first article [\textit{F. Borceux} et al., J. Pure Appl. Algebra 226, No. 9, Article ID 106997, 35 p. (2022; Zbl 1494.18002)] of this series established that, whenever \(\mathbb{C}\) is a coherent category [\textit{P. T. Johnstone}, Sketches of an elephant. A topos theory compendium. I. Oxford: Clarendon Press (2002; Zbl 1071.18001)], it is possible to give a purely categorical construction of the stable category \(\mathsf{Stab}(\mathbb{C})\) of the category \(\mathsf{PreOrd}(\mathbb{C} )\) of internal preorders in \(\mathbb{C}\). Furthermore, when \(\mathbb{C}\) is a pretopos, the canonical functor \[ \Sigma:\mathsf{PreOrd}(\mathbb{C})\rightarrow\mathsf{Stab} (\mathbb{C}) \] preserves coproducts, sending short \(\mathcal{Z}\)-exact sequences in \(\mathsf{PreOrd}(\mathbb{C})\) to shor exact sequences in the pointed category \(\mathsf{Stab}(\mathbb{C})\) [\textit{F. Borceux} et al., J. Pure Appl. Algebra 226, No. 9, Article ID 106997, 35 p. (2022; Zbl 1494.18002), Theorem 7.14]. This paper, as the second of the series, aims to establish the universal property of the stable category \(\mathsf{Stab}(\mathbb{C})\), demonstrating that Theorem. The canonical functor \[ \Sigma:\mathsf{PreOrd}(\mathbb{C})\rightarrow\mathsf{Stab} (\mathbb{C}) \] is universal among all finite coproduct preserving torsion theory functor \[ G:\mathsf{PreOrd}(\mathbb{C})\rightarrow\mathbb{X} \] where \(\mathsf{PreOrd}(\mathbb{C})\) is rigged out in the pretorsion theory \((\mathsf{Eq}(\mathbb{C}),\mathsf{ParOrd}(\mathbb{C}))\), and \(\mathbb{X}\) is a pointed category with coproducts rigged out in a torsion theory \((\mathcal{T},\mathcal{F})\).