BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Federico Campanini contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We propose a construction of a stable category for any pretorsion theory in a lextensive category. We prove the universal property of the stable category, that extends previous results obtained for the stable category of internal preorders in a pretopos. Some examples are provided in the categories of topological spaces and of (small) categories.
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 $\mathsf{PreOrd} (\mathbb C)$ of internal preorders in any coherent category $\mathbb C$, that enlightens the categorical nature of this notion. When $\mathbb 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 $\mathcal Z$-exact sequences in $\mathsf{PreOrd} (\mathbb C)$ (where $\mathcal 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.
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.