arXiv:2610.37956v1 Announce Type: new Abstract: Generalizing a known result in the context of homological categories, we show that, in a regular protomodular category $\mathcal{C}$ equipped with a posetal, monocoreflective subcategory whose coreflector inverts monomorphisms, every torsion theory, in a non-pointed sense, satisfying suitable properties gives rise to a torsion theory in the category $\operatorname{Arr}(\mathcal{C})$ of arrows in $\mathcal{C}$. Moreover, we show that the induced torsion theory in $\operatorname{Arr}(\mathcal{C})$ satisfies the same good properties of the original one in $\mathcal{C}$, allowing to iterate the process. Examples of this situation can be found in protomodular varieties of universal algebras with more than one constant or in duals of elementary toposes.
Continue to arXiv Mathematics →You are being forwarded in 6s — stay on this page