Groupoids and skeletal categories form a pretorsion theory in $\mathsf{Cat}$

Abstract

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 which every isomorphism is an automorphism. We infer these results from two unexpected properties of coequalizers in $Cat$ that identify pairs of objects: they are faithful and reflect isomorphisms.