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

DOI10.1016/J.JPAA.2021.106997zbMATH Open1494.18002arXiv2201.05992OpenAlexW4200121250MaRDI QIDQ2125158FDOQ2125158

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)

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.

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

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

zbMATH Keywords

pretopospretorsion theoryinternal preorder

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

• On the categorical behaviour of preordered groups
• Pretorsion theories, stable category and preordered sets
• Groupoids and skeletal categories form a pretorsion theory in \(\mathsf{Cat}\)
• The stable category of preordered groups
• Prekernels of topologically axiomatized subcategories of concrete categories
• A new Galois structure in the category of internal preorders
• Precategory objects of toposes
• The stable category of preorders in a pretopos. II: The universal property
• Title not available (Why is that?)

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)