The paper defines the exact category of contraherent cosheaves of contramodules on locally Noetherian formal schemes and constructs direct and inverse image functors along with Hom and contratensor operations.
Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
abstract
We prove general results about completeness of cotorsion theories and existence of covers and envelopes in locally presentable abelian categories, extending the well-established theory for module categories and Grothendieck categories. These results are then applied to the categories of contramodules over topological rings, which provide examples and counterexamples.
years
2026 2verdicts
UNVERDICTED 2representative citing papers
For left proflat topological ring epimorphisms, restriction of scalars on contramodules is fully faithful and the forgetful square is a pseudopullback.
citing papers explorer
-
Contraherent cosheaves of contramodules on Noetherian formal schemes
The paper defines the exact category of contraherent cosheaves of contramodules on locally Noetherian formal schemes and constructs direct and inverse image functors along with Hom and contratensor operations.
-
Homomorphisms of topological rings and change-of-scalar functors
For left proflat topological ring epimorphisms, restriction of scalars on contramodules is fully faithful and the forgetful square is a pseudopullback.