We present applications of contramodule techniques to the Enochs conjecture about covers and direct limits, both in the categorical tilting context and beyond. In the -tilting-cotilting correspondence situation, if is a Grothendieck abelian category and the related abelian category is equivalent to the category of contramodules over a topological ring belonging to one of certain four classes of topological rings (e.g., is commutative), then the left tilting class is covering in if and only if it is closed under direct limits in , and if and only if all the discrete quotient rings of the topological ring are perfect. More generally, if is a module satisfying a certain telescope Hom exactness condition (e.g., is -pure--self-orthogonal) and the topological ring of endomorphisms of belongs to one of certain seven classes of topological rings, then the class is closed under direct limits if and only if every countable direct limit of copies of has an -cover, and if and only if has perfect decomposition. In full generality, for an additive category with (co)kernels and a precovering class closed under summands, an object has an -cover if and only if a certain object in an abelian category with enough projectives has a projective cover. The -tilting modules and objects arising from injective ring epimorphisms of projective dimension form a class of examples which we discuss.

生成讲解博客的中文版本

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