Presenting a pretorsion theory on Cat whose torsion(-free) objects are the groupoids (skeletal categories, respectively), hence whose “trivial objects” are the skeletal groupoids:
Created on May 12, 2023 at 16:54:31. See the history of this page for a list of all contributions to it.