• Corpus ID: 227210687

A pretorsion theory for the category of all categories

  title={A pretorsion theory for the category of all categories},
  author={Jo{\~a}o J. Xarez},
  journal={arXiv: Category Theory},
  • J. Xarez
  • Published 26 November 2020
  • Mathematics
  • arXiv: Category Theory
A pretorsion theory for the category of all categories is presented. The associated prekernels and precokernels are calculated for every functor. 
Pretorsion theories in lextensive categories
. 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 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
Groupoids and skeletal categories form a pretorsion theory in $\mathsf{Cat}$
We describe a pretorsion theory in the category Cat of small categories: the torsion objects are the groupoids, while the torsion-free objects are the skeletal categories, i.e. , those categories in


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
Pretorsion theories in general categories
Galois theory, Hopf algebras, and semiabelian categories
Algebraic cohomology: The early days by M. Barr A survey of semi-abelian categories by F. Borceux Commutator theory in regular Mal'cev categories by D. Bourn Categorical aspects of modularity by D.
Pretorsion theories in general categories, preprint arXiv:1908.03546 (2019)
  • 2019
The monotone-light factorization for 2-categories via 2-prorders
It is shown that the reflection 2Cat → 2Preord of the category of all 2-categories into the category of 2-preorders determines a monotone-light factorization system on 2Cat and that the light
∞-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,
A) = ∅ then Hom A (A, B) = ∅. Then, since obj(GP/ ≡) = obj(A ′ )/ζ F and by the nature of η P and Π (cf
    Characterization of torsion theories in general categories, in Categories in algebra, geometry and mathematical physics
    • Contemp. Math. 431, Amer. Math. Soc.,
    • 2007
    Cohomologie a valeurs dans une catégorie dominée
    • Extraits du Colloque de Topologie, Bruxelles 1964 C. Ehresmann, Oeuvres compltes et commentées, Partie III-2
    • 1980
    Cohomologie a valeurs dans une catgorie domine, in Extraits du Colloque de Topologie
    • Bruxelles 1964 C. Ehresmann, Oeuvres compltes et commentes,
    • 1980