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

@article{Borceux2021TheSC,
  title={The stable category of preorders in a pretopos I: general theory},
  author={Francis Borceux and Federico Campanini and Marino Gran},
  journal={Journal of Pure and Applied Algebra},
  year={2021}
}
View PDF on arXiv
1 Citations

One Citation

Citation Type

Citation Type

The stable category of preorders in a pretopos II: the universal property
. We prove that the stable category associated with the category PreOrd ( C ) of internal preorders in a pretopos C satisfies a universal property. The canonical functor from PreOrd ( C ) to the…

References

SHOWING 1-10 OF 31 REFERENCES
A good theory of ideals in regular multi-pointed categories
Introduction to extensive and distributive categories
Pretorsion theories, stable category and preordered sets
We show that in the category of preordered sets there is a natural notion of pretorsion theory, in which the partially ordered sets are the torsion-free objects and the sets endowed with an…
Torsion theories and radicals in normal categories
An extension of properties of symmetric group to monoids and a pretorsion theory in a category of mappings
Several elementary properties of the symmetric group [Formula: see text] extend in a nice way to the full transformation monoid [Formula: see text] of all maps of the set [Formula: see text] into…
Pretorsion theories in general categories
Galois theory and a general notion of central extension
∞-Categories for the Working Mathematician
homotopy theory C.1. Lifting properties, weak factorization systems, and Leibniz closure C.1.1. Lemma. Any class of maps characterized by a right lifting property is closed under composition,…
Normal Subobjects and Abelian Objects in Protomodular Categories
w x Recent works about Mal’cev categories 6, 7, 9]11 , a notion arising from considerations about Mal’cev varieties, led the way for an alternative approach to problems that confronted universal…
A pretorsion theory for the category of all categories
A pretorsion theory for the category of all categories is presented. The associated prekernels and precokernels are calculated for every functor.
...
...