Abstract:This paper is a follow-up to <a class="link-https" data-arxiv-id="2212.09639" href="https://arxiv.org/abs/2212.09639">arXiv:2212.09639</a>. We consider two algebraic settings of comodules over a coring and contramodules over a topological ring with a countable base of two-sided ideals. These correspond to two (noncommutative) algebraic geometry settings of certain kind of stacks and ind-affine ind-schemes. In the context of a coring $\mathcal C$ over a noncommutative ring $A$, we show that all $A$-flat $\mathcal C$-comodules are $\aleph_1$-directed colimits of $A$-countably presentable $A$-flat $\mathcal C$-comodules. In the context of a complete, separated topological ring $\mathfrak R$ with a countable base of neighborhoods of zero consisting of two-sided ideals, we prove that all flat $\mathfrak R$-contramodules are $\aleph_1$-directed colimits of countably presentable flat $\mathfrak R$-contramodules. We also describe arbitrary complexes, short exact sequences, and pure acyclic complexes of $A$-flat $\mathcal C$-comodules and flat $\mathfrak R$-contramodules as $\aleph_1$-directed colimits of similar complexes of countably presentable objects. The arguments are based on a very general category-theoretic technique going back to an unpublished 1977 preprint of Ulmer and rediscovered in <a class="link-https" data-arxiv-id="2310.16773" href="https://arxiv.org/abs/2310.16773">arXiv:2310.16773</a>. Applications to cotorsion periodicity and coderived categories of flat objects in the respective settings are discussed. In particular, in any acyclic complex of cotorsion $\mathfrak R$-contramodules, all the contramodules of cocycles are cotorsion.

Morita theory of comodules over corings

Comodules over semiperfect corings

Quasi-co-Frobenius corings as Galois comodules

Special Properties of Morita Contexts

$k$-linear Morita theory

Morita equivalence for graded rings

Morita Theory For Derived Categories: A Bicategorical Perspective

Morita Equivalence and Morita Duality for Rings with Local Units and the Subcategory of Projective Unitary Modules

Morita cohomology

Rigidification of connective comodules

Spherical Morita contexts and relative Serre functors

Flat comodules and contramodules as directed colimits, and cotorsion periodicity

Rational Modules for Corings

A model structure and Hopf-cyclic theory on the category of coequivariant modules over a comodule algebra

A monoidal Dold-Kan correspondence for comodules

Cotorsion pairs and model structures on Morita rings

Costability of Comodules

The Morita Theory of Fusion 2-Categories

Comodule theories in Grothendieck categories and relative Hopf objects

Higher Morita–Tachikawa correspondence

Complex cobordism modulo $c_1$-spherical cobordism and related genera