2015, Leonid Positselski, Jiri Rosicky, “Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories”, in arXiv:
These results are then applied to the categories of contramodules over topological rings, which provide examples and counterexamples..