The stable category of preorders in a pretopos. I: General theory

DOI10.1016/J.JPAA.2021.106997MaRDI QIDQ2125158zbMATH OpenOpenAlexFDO

Authors Federico Campanini, Marino Gran, F. Borceux

Publication date 13 April 2022

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2201.05992

zbMATH Keywords

internal preorderpretopospretorsion theory

Mathematics Subject Classification ID

Generalizations of ordered sets (06A75) Topoi (18B25) Preorders, orders, domains and lattices (viewed as categories) (18B35) Extensive, distributive, and adhesive categories (18B50) Regular categories, Barr-exact categories (18E08) Torsion theories, radicals (18E40)

Abstract: 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 $mathsfPreOrd(mathbbC)$ of internal preorders in any coherent category $mathbbC$, that enlightens the categorical nature of this notion. When $mathbbC$ 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 $sigma$-pretoposes and all elementary toposes, with the property that this functor sends any short $mathcalZ$-exact sequences in $mathsfPreOrd(mathbbC)$ (where $mathcalZ$ 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.

Review text

\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,ParOrd})\), where \( \mathsf{Eq}\) is the `torsion subcategory' of equivalence relations and \(\mathsf{ParOrd}\) is the `torsion-free' subcategory of partial orders. Writing \(\mathcal{Z}\) for \(\mathsf{Eq\cap ParOrd}\), and calling a morphism \(\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. In the present paper, starting with a coherent category, \(\mathbb{C}\), the authors extend the above analysis to the category, \(\mathsf{PreOrd}(\mathbb{C})\), of internal preorders in \(\mathbb{C}\) Their analysis includes the study of the corresponding `stable' category, \(\mathsf{Stab}(\mathbb{C})\), obtained by replacing morphisms between preorders by partial morphisms whilst keeping the same objects as in \(\mathsf{PreOrd}(\mathbb{C})\). This is then applied to a class of pretoposes and certain properties are singled out, which will be the subject of a second article on this topic, and which will not be given here. These properties will be used to prove a universal property for the stable category construction.

Recommendations

• The stable category of preorders in a pretopos. II: The universal property
• Torsion theories and coverings of preordered groups
• Pretorsion theories, stable category and preordered sets
• A new Galois structure in the category of internal preorders
• Pretorsion theories in general categories

Cites work

• A characterisation of the category of compact Hausdorff spaces
• A good theory of ideals in regular multi-pointed categories
• A new Galois structure in the category of internal preorders
• A Torsion Theory for Abelian Categories
• An extension of properties of symmetric group to monoids and a pretorsion theory in a category of mappings
• Exact categories and categories of sheaves
• Finite preorders and topological descent. I
• From torsion theories to closure operators and factorization systems
• Homological algebra in strongly non-abelian settings
• scientific article; zbMATH DE number 92857 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 3208283 (Why is no real title available?)
• scientific article; zbMATH DE number 5219539 (Why is no real title available?)
• scientific article; zbMATH DE number 3382589 (Why is no real title available?)
• Introduction to extensive and distributive categories
• Normal subobjects and abelian objects in protomodular categories
• Pretorsion theories in general categories
• Pretorsion theories, stable category and preordered sets
• Torsion theories and radicals in normal categories
• Torsion theories in homological categories

Cited in

(11)

• Precategory objects of toposes
• On the categorical behaviour of preordered groups
• The stable category of preorders in a pretopos. II: The universal property
• Pretorsion theories, stable category and preordered sets
• Prekernels of topologically axiomatized subcategories of concrete categories
• scientific article; zbMATH DE number 4061469 (Why is no real title available?)
• A new Galois structure in the category of internal preorders
• Groupoids and skeletal categories form a pretorsion theory in \(\mathsf{Cat}\)
• The stable category of preordered groups
• Building pretorsion theories from torsion theories
• Pretorsion theories in lextensive categories

This page was built for publication: The stable category of preorders in a pretopos. I: General theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2125158)