Torsion Theories in a Non-pointed Context
Abstract
We study a non-pointed version of the notion of torsion theory in the framework of categories equipped with a posetal monocoreflective subcategory such that the coreflector inverts monomorphisms. We explore the connections of such torsion theories with factorization systems and categorical Galois structures. We describe several examples of these torsion theories, in the dual of elementary toposes, in varieties of universal algebras used as models for non-classical logic, and in coslices of the category of abelian groups.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.