加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本